Skip to content
ci

[rust_verify] fix: rerun-if-changed paths in build.rs #11267

Sign in to view logs

[rust_verify] fix: rerun-if-changed paths in build.rs

[rust_verify] fix: rerun-if-changed paths in build.rs #11267

Run time

Learn about OS pricing on GitHub Actions
Job Run time
basic-test (linux)
1m 25s
change_filter
8s
clippy
1m 25s
basic-test (windows)
1m 22s
fmt
40s
create-manifest-smoke-test
47s
basic-test (macos-x86_64)
1m 27s
full-test
1m 26s
smoke-test (no-std)
1m 26s
smoke-test (no-alloc)
1m 12s
smoke-test (record-history)
1m 12s
smoke-test (singular)
1m 12s
cargo-verus-test
1s
build-docs
1s
line-count-test
1s
13m 45s