fix path

emina · Dec 7, 2023 · 47450f0 · 47450f0
1 parent 1c531f3
commit 47450f0
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -70,6 +70,8 @@ jobs:
           cd build &&
           cmake .. &&
           cmake --build . &&
+          popd &&
+          popd &&
           cp stp bin/stp &&
           sudo add-apt-repository -y ppa:sri-csl/formal-methods &&
           sudo apt-get update &&