run jlog in nix shell

formosa-crypto · Apr 15, 2024 · 0ddbbf0 · 0ddbbf0
1 parent 0f8c68a
commit 0ddbbf0
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/.github/workflows/amd64-linux-main-proof.yml b/.github/workflows/amd64-linux-main-proof.yml
@@ -24,10 +24,11 @@ jobs:
         with:
           flakes: .#ci
           flakes-from-devshell: true
-          script: make -j$JOBS -C proof/ CI=1 default
-
-      - name: dist
-        run: ./scripts/ci/releaser/jdist-proof
+          script: |
+            # extract and check
+            make -j$JOBS -C proof/ CI=1 default
+            # dist
+            ./scripts/ci/releaser/jdist-proof
 
       - name: print logs
         run: make         -C proof/ CI=1 reporter