Skip to content

Enable mapping extra TCB and SC caps into PD's #1313

Enable mapping extra TCB and SC caps into PD's

Enable mapping extra TCB and SC caps into PD's #1313

Triggered via pull request January 27, 2026 01:06
Status Cancelled
Total duration 4m 24s
Artifacts

sdk.yaml

on: pull_request
Build SDK (Linux x86-64)
4m 16s
Build SDK (Linux x86-64)
Build SDK (macOS, all targets)
3m 41s
Build SDK (macOS, all targets)
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Build SDK (Linux x86-64)
Canceling since a higher priority waiting request for SDK-pr-406 exists
Build SDK (Linux x86-64)
The operation was canceled.
SDK
Canceling since a higher priority waiting request for SDK-pr-406 exists
Build SDK (macOS, all targets)
Canceling since a higher priority waiting request for SDK-pr-406 exists
Build SDK (macOS, all targets)
The operation was canceled.