[rust_verify] fix: rerun-if-changed paths in build.rs
#11267
mkovaxxci.yml
on: pull_request
change_filter
8s
create-manifest-smoke-test
47s
full-test
1m 26s
Matrix: basic-test
Matrix: smoke-test
cargo-verus-test
0s
Annotations
16 errors
|
smoke-test (no-alloc)
Canceling since a higher priority waiting request for ci-refs/pull/2826/merge exists
|
|
smoke-test (record-history)
Canceling since a higher priority waiting request for ci-refs/pull/2826/merge exists
|
|
smoke-test (singular)
Canceling since a higher priority waiting request for ci-refs/pull/2826/merge exists
|
|
basic-test (windows)
Canceling since a higher priority waiting request for ci-refs/pull/2826/merge exists
|
|
basic-test (windows)
The operation was canceled.
|
|
basic-test (linux)
Canceling since a higher priority waiting request for ci-refs/pull/2826/merge exists
|
|
basic-test (linux)
The operation was canceled.
|
|
clippy
Canceling since a higher priority waiting request for ci-refs/pull/2826/merge exists
|
|
clippy
The operation was canceled.
|
|
smoke-test (no-std)
Canceling since a higher priority waiting request for ci-refs/pull/2826/merge exists
|
|
smoke-test (no-std)
The operation was canceled.
|
|
basic-test (macos-x86_64)
Canceling since a higher priority waiting request for ci-refs/pull/2826/merge exists
|
|
basic-test (macos-x86_64)
The operation was canceled.
|
|
full-test
Canceling since a higher priority waiting request for ci-refs/pull/2826/merge exists
|
|
full-test
The operation was canceled.
|
|
ci
Canceling since a higher priority waiting request for ci-refs/pull/2826/merge exists
|