Skip to content

Commit

Permalink
Pin a rust-overlay revision
Browse files Browse the repository at this point in the history
Because we require a relatively recent version and flake dependents
don't look at flake.lock.
  • Loading branch information
Nadrieril committed Jan 20, 2025
1 parent bf56a39 commit 7dd93e5
Show file tree
Hide file tree
Showing 3 changed files with 8 additions and 6 deletions.
3 changes: 1 addition & 2 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -41,8 +41,7 @@ jobs:
steps:
- run: |
nix build --refresh -L 'github:aeneasverif/aeneas#checks.x86_64-linux.aeneas-tests' \
--override-input charon github:aeneasverif/charon/${{ github.sha }} \
--override-input charon/rust-overlay github:oxalica/rust-overlay/master
--override-input charon github:aeneasverif/charon/${{ github.sha }}
eurydice:
needs: [nix]
Expand Down
7 changes: 4 additions & 3 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 3 additions & 1 deletion flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,9 @@
# different ocaml version depending on the nixpkgs version.
nixpkgs-ocaml.follows = "nixpkgs";
rust-overlay = {
url = "github:oxalica/rust-overlay";
# We pin a specific commit because we require a relatively recent version
# and flake dependents don't look at flake.lock.
url = "github:oxalica/rust-overlay/275c824ed9e90e7fd4f96d187bde3670062e721f";
inputs.nixpkgs.follows = "nixpkgs";
};
crane.url = "github:ipetkov/crane";
Expand Down

0 comments on commit 7dd93e5

Please sign in to comment.