Merge pull request #228 from Nadrieril/kyber-dev

.github/workflows/ci.yml

@@ -64,6 +64,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           repository: cryspen/libcrux
+          ref: dev
       # Kyber expects Eurydice's sources in `$EURYDICE_HOME`,
       # not the install directory.
       - name: checkout eurydice
@@ -83,4 +84,6 @@ jobs:
           echo FSTAR_HOME=$(pwd)/fstar >> $GITHUB_ENV
           echo KRML_HOME=$(pwd)/karamel >> $GITHUB_ENV
       - name: build kyber
-        run: nix develop github:aeneasverif/charon/${{ github.sha }} --command bash kyber-crate.sh
+        run: |
+          cd libcrux-ml-kem
+          nix develop 'github:aeneasverif/charon/${{ github.sha }}#kyber-ci' --command ./c.sh

flake.nix

@@ -242,6 +242,13 @@
             self.packages.${system}.charon-ml
           ];
         };
+        # The dev-shell we need to run kyber in CI. This doesn't really belong here but it's easier here.
+        devShells.kyber-ci = pkgs.mkShell {
+          packages = [
+            rustToolchain
+            pkgs.clang-tools # For clang-format
+          ];
+        };
         checks = { inherit charon-ml-tests charon-check-fmt charon-ml-check-fmt; };
 
         # Export this function so that users of charon can use it in nix. This