bnjbvr edited PR #2032 from ci-pin-rust-nightly-07-14 to main:
ci-pin-rust-nightly-07-14
main
Alternative to #2031, if it still fails.
alexcrichton submitted PR Review.
bnjbvr closed without merge PR #2032.
Last updated: Dec 23 2024 at 13:07 UTC