Simplify injections in prelude, and move to Rust edition 2024 (#1381) #4775
jhjourdanrust.yml
on: push
fmt
25s
contracts-build
34s
contracts-build-stable
14s
build
2m 27s
why3
8m 56s
install
2m 46s