Merge branch 'main' into son/features

AeneasVerif · Dec 5, 2024 · 775a0fe · 775a0fe
2 parents 4736339 + 4b97933
commit 775a0fe
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]