IOMMU: Style Fix ups (minor) #1502
cazb2pr.yml
on: pull_request
Freeze Code
17s
Checks
/
Gitlint
39s
Checks
/
Trailing Whitespace
3s
Checks
/
Portable Shell
4s
Checks
/
Style
57s
clippy_check
23s
rustfmt_check
16s
Build SDK
/
Build SDK (macOS, all targets)
26m 32s
Build SDK
/
Build SDK (Linux x86_64)
30m 57s
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.1+8d3c5c0-linux-aarch64
|
66 MB |
sha256:385509d9c3e2e4a3957a35774ca710bfeb5be48ee2bf2f88806f0db3c65f1105
|
|
|
microkit-sdk-2.3.0.1+8d3c5c0-linux-x86-64
|
66 MB |
sha256:684e935647c9518803224a075829352438b67954dc13b66766b9ceddb7809606
|
|
|
microkit-sdk-2.3.0.1+8d3c5c0-macos-aarch64
|
65.9 MB |
sha256:888d6ce3b03665fc701e4757cba54b1c9e558b001f5d619e7658b52446946e2f
|
|
|
microkit-sdk-2.3.0.1+8d3c5c0-macos-x86-64
|
66 MB |
sha256:4c30978065a9834156bd635151598355806392e229947c8c2d113f661abb2952
|
|