Rust

Improve inference of Ghost when erased #3077

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
why3	6m 27s
why3	4m 47s
fmt	31s
fmt	31s
contracts-build	39s
contracts-build	39s
build	4m 36s
build	4m 36s
	22m 46s