Rust

Merge pull request #1277 from creusot-rs/refactor-paths #4401

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
fmt	23s
build	11m 24s
contracts-build	28s
why3-deps	26s
install	5m 50s
why3	7m 27s
	25m 58s