ci: use charon#138 to fix the CI

AeneasVerif / eurydice

Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

Apache License 2.0

21 stars 1 forks source link

ci: use charon#138 to fix the CI #8

Closed Nadrieril closed 4 months ago

Nadrieril commented 4 months ago

My recent changes to charon broke your CI. https://github.com/AeneasVerif/charon/pull/138 fixes it but isn't merged yet. This PR points your CI at my charon branch to make it work again. Next time you want to bump charon, just remove the /fix-rustup-detection I added in flake.nix.