Forgot to popd in the skip-on-ci case.

tweag · Aug 25, 2023 · b102265 · b102265
1 parent c0499f1
commit b102265
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/workflow.yaml b/.github/workflows/workflow.yaml
@@ -112,6 +112,7 @@ jobs:
               example_name="$(head -n1 README.md) with Nix"
               if [[ -f skip-on-ci ]]; then
                   echo "Skipping $example_name"
+                  popd
                   continue
               else
                   echo "::group::Running $example_name"