ci

Stop Verus-macro-reprocessing the bodies of external_body/external functions #11275

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
basic-test (macos-x86_64)	8m 29s
change_filter	11s
clippy	1m 35s
fmt	35s
full-test	28m 45s
create-manifest-smoke-test	43s
basic-test (linux)	5m 16s
smoke-test (no-std)	3m 50s
smoke-test (singular)	4m 35s
basic-test (windows)	9m 10s
smoke-test (no-alloc)	3m 45s
smoke-test (record-history)	6m 4s
line-count-test	57s
cargo-verus-test	5s
build-docs	3m 5s
	1h 17m 5s