Merge pull request #388 from Nadrieril/fix-ci

AeneasVerif · Dec 5, 2024 · 4b97933 · 4b97933
2 parents 979b7c4 + b9c33b8
commit 4b97933
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -49,11 +49,11 @@ jobs:
   lean:
     needs: [diff_lean_files]
     runs-on: [self-hosted, linux, nix]
-    if: needs.diff_lean_files.outputs.check_lean == 'true'
     steps:
       - uses: actions/checkout@v4
-      # Lean cannot run its tests in the nix sandbox because `elan` will download things
-      - run: nix develop --command bash -c "cd tests/lean && make"
+      - if: needs.diff_lean_files.outputs.check_lean == 'true'
+        # Lean cannot run its tests in the nix sandbox because `elan` will download things
+        run: nix develop --command bash -c "cd tests/lean && make"
 
   charon-pin-is-forward:
     runs-on: [self-hosted, linux, nix]