Rust

Remove the `Cannot fetch THIR body` error message #4489

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
fmt	30s
build	2m 53s
contracts-build	28s
why3-deps	24s
install	2m 34s
why3	4m 4s
	10m 53s