Rust

`Mapping` indexing, and `such_that` (#1296) #4474

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	2m 32s
why3-deps	28s
contracts-build	28s
fmt	25s
install	1m 33s
why3	3m 56s
	9m 22s