tmp

AeneasVerif · Oct 1, 2024 · eb96879 · eb96879
1 parent fd3fdb7
commit eb96879
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -76,7 +76,8 @@ jobs:
     steps:
       - uses: actions/checkout@v4
         with:
-          repository: cryspen/libcrux
+          repository: Nadrieril/libcrux
+          ref: dev-shell
       - run: |
           nix develop --command cargo generate-lockfile
           nix build --refresh -L '.#ml-kem' \