KS test

leanprover · Apr 24, 2024 · 357db13 · 357db13
1 parent 7ad9716
commit 357db13
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -20,18 +20,18 @@ jobs:
 
       - uses: actions/checkout@v4
 
+      - name: install Dafny
+        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: install Python dependences
+        run: pip install matplotlib numpy
+
       - name: build std
         id: build
         run: lake build -Kwerror FastExtract
 
-      - name: install Dafny
-        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/dafny build --target:py Tests/SampCert.dfy Tests/Random.py Tests/testing-kolmogorov-discretegaussian.py -o Tests/SampCert.dfy
 
-      - name: install Python dependences
-        run: pip install matplotlib numpy
-
       - name: run Test
         run: python3 Tests/SampCert-py/testing-kolmogorov-discretegaussian.py