Skip to content

tool(sdf): split into files #1520

tool(sdf): split into files

tool(sdf): split into files #1520

Triggered via pull request July 27, 2026 05:05
Status Success
Total duration 33m 15s
Artifacts 4

pr.yml

on: pull_request
Freeze Code
16s
Freeze Code
Checks  /  Gitlint
43s
Checks / Gitlint
Checks  /  Trailing Whitespace
4s
Checks / Trailing Whitespace
Checks  /  Portable Shell
7s
Checks / Portable Shell
Checks  /  Style
32s
Checks / Style
clippy_check
23s
clippy_check
rustfmt_check
15s
rustfmt_check
Build SDK  /  Build SDK (macOS, all targets)
28m 7s
Build SDK / Build SDK (macOS, all targets)
Build SDK  /  Build SDK (Linux x86_64)
32m 38s
Build SDK / Build SDK (Linux x86_64)
Fit to window
Zoom out
Zoom in

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.9+6a18dd7-linux-aarch64
68.8 MB
sha256:4251b94f6ca70336e0430471f4f2906cd38e109db63b42a6abf71375afef26a0
microkit-sdk-2.3.0-dev.9+6a18dd7-linux-x86-64
68.8 MB
sha256:a857fb898934596e5545818c04ec7a32f6d15676490861c96834e1ed9e43dfa3
microkit-sdk-2.3.0-dev.9+6a18dd7-macos-aarch64
68.7 MB
sha256:45a7dc88d8f17c06febb52578e75c26fb1ed8850d56d9a991bfb7447b3fb3c90
microkit-sdk-2.3.0-dev.9+6a18dd7-macos-x86-64
68.8 MB
sha256:cca8cf708c96a0543aa076d242d09fa533d359423914c558e7815b571a02a48f