Rust

test why3: add `--no-cache` and `// TIME (\d+)` options #4655

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
contracts-build	50s
why3-deps	1m 8s
fmt	48s
build	4m 31s
why3	0s
install	0s
	7m 17s