Rust

Condense test logs by hiding successful tests #4409

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
contracts-build	34s
why3-deps	31s
build	3m 53s
fmt	26s
install	2m 1s
why3	4m 37s
	12m 2s