Rust

Support constructor closures (#2230) #7331

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
creusot-std-build	28s
build	2m 45s
fmt	27s
install (macos-latest)	4m 37s
install-aarch64	2m 26s
why3	10m 40s
build-nix	5m 9s
creusot-std-build-stable	13s
erasure-check	2m 30s
install (ubuntu-latest)	6m 17s
	35m 32s