Skip to content

Close GAP-04 context and resume proof correspondence #460

Close GAP-04 context and resume proof correspondence

Close GAP-04 context and resume proof correspondence #460

Triggered via pull request September 14, 2026 18:47
Status Cancelled
Total duration 12m 51s
Artifacts

ci.yml

on: pull_request
Verify pre-Cargo policy
11s
Verify pre-Cargo policy
Foundation policy
1m 48s
Foundation policy
Rust format source
54s
Rust format source
Licenses and dependency policy
2m 38s
Licenses and dependency policy
Foundation Verus policy
49s
Foundation Verus policy
Matrix: rust
Matrix: verus
Fit to window
Zoom out
Zoom in

Annotations

197 errors
Foundation Verus verus-verify foundation-state
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build foundation-state (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-verify app-runner
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-verify app-shell
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-verify model-orchestration
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build model-orchestration (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-verify-strict runtime-tools
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build app-runner (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build app-shell (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build runtime-tools (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build testing (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-verify-strict edge
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build testing-external (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build edge (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-verify-strict model-orchestration
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-build model-orchestration
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-build foundation-state
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build testing-platform (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test foundation-state (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test model-orchestration (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-verify-strict app-runner
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-build runtime-tools
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-build app-runner
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-verify-strict app-shell
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test runtime-tools (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-build edge
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test testing (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test app-shell (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test testing-external (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-build-strict app-shell
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-build-strict app-runner
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-build-strict runtime-tools
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-build-strict model-orchestration
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test edge (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-build-strict edge
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test foundation-state (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test testing (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test runtime-tools (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test edge (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test app-shell (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test app-runner (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test testing-platform (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy foundation-state (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test testing-external (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test model-orchestration (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test app-runner (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test testing-platform (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy runtime-tools (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy model-orchestration (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy app-shell (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy app-runner (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy edge (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy testing-platform (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy testing (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy testing-external (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs model-orchestration (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs runtime-tools (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs app-shell (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs app-runner (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs foundation-state (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs edge (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build runtime-tools (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs testing (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build foundation-state (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs testing-platform (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs testing-external (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build testing-platform (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build testing-external (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build app-shell (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build edge (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build model-orchestration (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build app-runner (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build testing (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test foundation-state (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test app-runner (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test runtime-tools (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test model-orchestration (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test app-shell (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test testing-platform (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test testing-external (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test foundation-state (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test testing (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test model-orchestration (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test runtime-tools (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test edge (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test testing (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test app-shell (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test app-runner (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test edge (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test testing-platform (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy runtime-tools (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test testing-external (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy foundation-state (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy app-shell (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy testing-external (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy app-runner (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy model-orchestration (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy testing-platform (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs foundation-state (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy testing (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy edge (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs app-runner (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs model-orchestration (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs app-shell (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs runtime-tools (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs testing-platform (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs testing (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs testing-external (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build foundation-state (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build model-orchestration (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs edge (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build runtime-tools (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build app-shell (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build app-runner (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build testing (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build testing-external (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build testing-platform (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust build edge (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test runtime-tools (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test foundation-state (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test model-orchestration (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test app-runner (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test app-shell (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test edge (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test testing-external (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test testing (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test testing-platform (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test runtime-tools (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test foundation-state (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test app-runner (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test model-orchestration (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test app-shell (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test edge (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test testing (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test testing-platform (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy foundation-state (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy model-orchestration (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust doc-test testing-external (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy testing-platform (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy app-runner (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy runtime-tools (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy app-shell (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy testing (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs foundation-state (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs runtime-tools (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy edge (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust clippy testing-external (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs app-runner (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs app-shell (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs model-orchestration (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs testing-external (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs testing (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs testing-platform (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust docs edge (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-platform-terminal-interactive testing-platform (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-platform-terminal-signal testing-platform (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-platform-terminal-interactive testing-platform (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-platform-terminal-interactive testing-platform (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-platform-terminal-signal testing-platform (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-platform-terminal-cancel testing-platform (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-platform-terminal-cancel testing-platform (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-platform-terminal-cancel testing-platform (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-platform-terminal-signal testing-platform (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-runner-recovery app-runner (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-runner-product app-runner (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-runner-recovery app-runner (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-runner-product app-runner (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-daemon app-shell (ubuntu-24.04)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-daemon app-shell (macos-15)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-runner-recovery app-runner (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-runner-product app-runner (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-daemon app-shell (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-daemon-folder app-shell (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-daemon-cancellation app-shell (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-daemon-product app-shell (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-daemon-continuation app-shell (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-daemon-interaction app-shell (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-daemon-workbench app-shell (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-daemon-library app-shell (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-daemon-checkpoints app-shell (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-daemon-models app-shell (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-daemon-rewinds app-shell (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Rust test-daemon-review app-shell (windows-2025)
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation policy
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-verify edge
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-verify edge
The operation was canceled.
Foundation Verus verus-verify runtime-tools
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-verify runtime-tools
The operation was canceled.
Foundation Verus verus-build-strict foundation-state
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-build-strict foundation-state
The operation was canceled.
Foundation Verus verus-build app-shell
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-build app-shell
The operation was canceled.
Foundation Verus verus-verify-strict foundation-state
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation Verus verus-verify-strict foundation-state
The operation was canceled.
Licenses and dependency policy
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Foundation verification
Canceling since a higher priority waiting request for foundation-Foundation verification-refs/pull/78/merge exists
Licenses and dependency policy
The operation was canceled.