Merge pull request #391 from Nadrieril/rebuild-ml-kem-cargo-lock

AeneasVerif · Oct 2, 2024 · dc5e8c9 · dc5e8c9
2 parents 5b8851f + b08866f
commit dc5e8c9
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -74,8 +74,12 @@ jobs:
     if: needs.check_if_skip_duplicate_job.outputs.should_skip != 'true'
     runs-on: [self-hosted, linux, nix]
     steps:
+      - uses: actions/checkout@v4
+        with:
+          repository: cryspen/libcrux
       - run: |
-          nix build --refresh -L github:cryspen/libcrux#ml-kem \
+          nix develop --command cargo generate-lockfile
+          nix build --refresh -L '.#ml-kem' \
               --override-input charon github:aeneasverif/charon/${{ github.sha }} \
               --update-input charon/rust-overlay \
               --update-input eurydice \