Rust

Refactor handling of why3 paths in cargo-creusot and tests #4398

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	11m 56s
contracts-build	33s
why3-deps	25s
fmt	24s
why3	1m 20s
install	5m 32s
	20m 10s