From 62216841c9775a4f6ec68a1ded532cb41e85662b Mon Sep 17 00:00:00 2001
From: Nadrieril <nadrieril+git@gmail.com>
Date: Tue, 1 Oct 2024 10:51:44 +0200
Subject: [PATCH] ci: Rebuild kyber lockfile ourselves

---
 .github/workflows/ci.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a50b97df..afab9609 100644
--- 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 \