Merge pull request #462 from Nadrieril/circus-green-for-ci

AeneasVerif · Nov 20, 2024 · b2dae3a · b2dae3a
2 parents 735b75b + bb62cf3
commit b2dae3a
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 11 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -48,23 +48,22 @@ jobs:
     needs: [nix]
     runs-on: [self-hosted, linux, nix]
     steps:
+      - uses: actions/checkout@v4
+        with:
+          repository: Inria-Prosecco/circus-green
       - run: |
-          nix flake check --refresh -L github:aeneasverif/eurydice \
-              --override-input charon github:aeneasverif/charon/${{ github.sha }} \
-              --override-input charon/rust-overlay github:oxalica/rust-overlay/master
+          nix flake lock --refresh --update-input eurydice
+          nix flake lock --override-input charon github:aeneasverif/charon/${{ github.sha }}
+          ./check.sh eurydice
 
   kyber:
     needs: [eurydice]
     runs-on: [self-hosted, linux, nix]
     steps:
       - uses: actions/checkout@v4
         with:
-          repository: cryspen/libcrux
+          repository: Inria-Prosecco/circus-green
       - run: |
-          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 \
-              --update-input hax \
-              --update-input crane
+          nix flake lock --refresh --update-input eurydice
+          nix flake lock --override-input charon github:aeneasverif/charon/${{ github.sha }}
+          ./check.sh ml-kem-small
diff --git a/flake.nix b/flake.nix
@@ -123,6 +123,7 @@
           ];
         };
         checks = {
+          default = charon-ml-tests;
           inherit charon-ml-tests charon-check-fmt charon-check-no-rustc
             charon-ml-check-fmt check-generated-ml;
         };