[draft] libmicrokit: API for 64-bit number debug print #1531
ZGwtaopr.yml
on: pull_request
Freeze Code
17s
Checks
/
Gitlint
37s
Checks
/
Trailing Whitespace
5s
Checks
/
Portable Shell
9s
Checks
/
Style
54s
clippy_check
42s
rustfmt_check
17s
Build SDK
/
Build SDK (macOS, all targets)
28m 17s
Build SDK
/
Build SDK (Linux x86_64)
32m 13s
Annotations
2 warnings
|
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/
|
|
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/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
microkit-sdk-2.3.0-dev.11+3847049-linux-aarch64
|
69.3 MB |
sha256:42a1fc282d07896eb759d3093d778d86ee232d48ec01b1aa77f61c156d0106fd
|
|
|
microkit-sdk-2.3.0-dev.11+3847049-linux-x86-64
|
69.4 MB |
sha256:277a72e4bbae0d796c8dd6ff8122396b9b593f31a9d1bd7573988d76a2bc26f9
|
|
|
microkit-sdk-2.3.0-dev.11+3847049-macos-aarch64
|
69.3 MB |
sha256:4a73548c474230b2a7cdf0699cf01435b9f923a19c1547b3bfd3dbbdbbc2fb71
|
|
|
microkit-sdk-2.3.0-dev.11+3847049-macos-x86-64
|
69.3 MB |
sha256:3dbc530e26c1ecfde7e47b4258020b46db69ae0829d4ca3a1315d751e524a13f
|
|