Merge pull request #272 from Nadrieril/mad-rustc-update

AeneasVerif · Jun 28, 2024 · 49d06be · 49d06be
2 parents ae55966 + 0fb1b5d
commit 49d06be
Show file tree

Hide file tree

Showing 43 changed files with 976 additions and 791 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -54,14 +54,20 @@ jobs:
     if: needs.check_if_skip_duplicate_job.outputs.should_skip != 'true'
     runs-on: [self-hosted, linux, nix]
     steps:
-      - run: nix flake check -L github:aeneasverif/aeneas --override-input charon github:aeneasverif/charon/${{ github.sha }}
+      - run: |
+          nix flake check -L github:aeneasverif/aeneas \
+              --override-input charon github:aeneasverif/charon/${{ github.sha }} \
+              --override-input charon/rust-overlay github:oxalica/rust-overlay/master
 
   eurydice:
     needs: [check_if_skip_duplicate_job, nix]
     if: needs.check_if_skip_duplicate_job.outputs.should_skip != 'true'
     runs-on: [self-hosted, linux, nix]
     steps:
-      - run: nix flake check -L github:aeneasverif/eurydice --override-input charon github:aeneasverif/charon/${{ github.sha }}
+      - run: |
+          nix flake check -L github:aeneasverif/eurydice \
+              --override-input charon github:aeneasverif/charon/${{ github.sha }} \
+              --override-input charon/rust-overlay github:oxalica/rust-overlay/master
 
   kyber:
     needs: [check_if_skip_duplicate_job, eurydice]