CapMap: Remove the root cnode upper bound #1507
cazb2pr.yml
on: pull_request
Freeze Code
19s
Checks
/
Gitlint
34s
Checks
/
Trailing Whitespace
3s
Checks
/
Portable Shell
6s
Checks
/
Style
44s
clippy_check
25s
rustfmt_check
17s
Build SDK
/
Build SDK (macOS, all targets)
26m 16s
Build SDK
/
Build SDK (Linux x86_64)
30m 56s
Annotations
2 warnings
|
rustfmt_check
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
clippy_check
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
microkit-sdk-2.3.0-dev.3+b1eda39-linux-aarch64
|
66 MB |
sha256:e6edf8a6df61544760a4dad66b6ac6df64f340b545eec964098a58fa61953c6e
|
|
|
microkit-sdk-2.3.0-dev.3+b1eda39-linux-x86-64
|
66 MB |
sha256:058560a1ca644bd25451867e7f6c8dfc32a2c1a415bad10e9bc678ac5590ec2b
|
|
|
microkit-sdk-2.3.0-dev.3+b1eda39-macos-aarch64
|
66 MB |
sha256:1e4461362453a175f31b68863bc778d13da6b3f9ffe148565f147cc1eb21cd55
|
|
|
microkit-sdk-2.3.0-dev.3+b1eda39-macos-x86-64
|
66 MB |
sha256:3830a9a08d090ae2505a3d3dddaa6cf025969b69a8a14d40bb493a25212b4bfc
|
|