ci: Fix perf_canaries

FStarLang · Jan 4, 2025 · 115da71 · 115da71
1 parent 767698a
commit 115da71
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -172,5 +172,4 @@ jobs:
       - run: tar xzf fstar.tar.gz
 
       - name: Run perf canaries
-        run: .scripts/perf_canaries.sh ./bin/fstar.exe
-        working-directory: fstar
+        run: .scripts/perf_canaries.sh ./fstar/bin/fstar.exe