fix path in test workflow

leanprover · Apr 18, 2024 · 04fe0a7 · 04fe0a7
1 parent feebc5e
commit 04fe0a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -28,7 +28,7 @@ jobs:
         run: wget https://github.com/dafny-lang/dafny/releases/download/v4.4.0/dafny-4.4.0-x64-ubuntu-20.04.zip ; unzip dafny-4.4.0-x64-ubuntu-20.04.zip
 
       - name: build Python version of SampCert
-        run: dafny build --target:py Tests/SampCert.dfy Tests/Random.py Tests/Test.py -o Tests/SampCert.dfy 
+        run: dafny/dafny build --target:py Tests/SampCert.dfy Tests/Random.py Tests/Test.py -o Tests/SampCert.dfy 
 
       - name: run Test
         run: python3 Tests/SampCert-py/Test.py