tmp

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