Simplify injections in prelude, and move to Rust edition 2024 #4773
jhjourdanrust.yml
on: pull_request
fmt
28s
contracts-build
27s
contracts-build-stable
20s
build
2m 28s
why3
5m 7s
install
2m 47s