Rust

setup: slight refactoring of the why3 config file generation #3300

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
why3	3m 29s
fmt	23s
build	3m 35s
contracts-build	28s
	7m 55s