resource: replicate Map/Set changes in GhostMap/GhostSet #10376
ci.yml
on: pull_request
build-docs
1m 51s
cargo-verus-test
9s
Annotations
17 errors
|
smoke-test (no-std)
Canceling since a higher priority waiting request for ci-refs/pull/2551/merge exists
|
|
basic-test (macos-x86_64)
Canceling since a higher priority waiting request for ci-refs/pull/2551/merge exists
|
|
basic-test (windows)
Canceling since a higher priority waiting request for ci-refs/pull/2551/merge exists
|
|
basic-test (windows)
The operation was canceled.
|
|
smoke-test (singular)
Canceling since a higher priority waiting request for ci-refs/pull/2551/merge exists
|
|
smoke-test (singular)
The operation was canceled.
|
|
build-docs
Canceling since a higher priority waiting request for ci-refs/pull/2551/merge exists
|
|
build-docs
The operation was canceled.
|
|
basic-test (linux)
Canceling since a higher priority waiting request for ci-refs/pull/2551/merge exists
|
|
basic-test (linux)
The operation was canceled.
|
|
full-test
Canceling since a higher priority waiting request for ci-refs/pull/2551/merge exists
|
|
full-test
The operation was canceled.
|
|
smoke-test (no-alloc)
Canceling since a higher priority waiting request for ci-refs/pull/2551/merge exists
|
|
smoke-test (no-alloc)
The operation was canceled.
|
|
smoke-test (record-history)
Canceling since a higher priority waiting request for ci-refs/pull/2551/merge exists
|
|
smoke-test (record-history)
The operation was canceled.
|
|
ci
Canceling since a higher priority waiting request for ci-refs/pull/2551/merge exists
|