ci

vstd: add BTreeMap specifications #11290

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clippy	1m 37s
smoke-test (no-std)	4m 35s
full-test	30m 40s
change_filter	10s
basic-test (linux)	5m 14s
fmt	43s
basic-test (windows)	9m 17s
smoke-test (no-alloc)	4m 29s
basic-test (macos-x86_64)	8m 14s
create-manifest-smoke-test	43s
smoke-test (singular)	5m 4s
smoke-test (record-history)	4m 50s
build-docs	2m 57s
cargo-verus-test	2s
line-count-test	50s
	1h 19m 25s