Skip to content

Fix Typo

Fix Typo #1436

Triggered via pull request July 9, 2026 07:05
Status Success
Total duration 1h 8m 39s
Artifacts 4

pr.yml

on: pull_request
Freeze Code
18s
Freeze Code
Checks  /  Gitlint
47s
Checks / Gitlint
Checks  /  Trailing Whitespace
6s
Checks / Trailing Whitespace
Checks  /  Portable Shell
7s
Checks / Portable Shell
Checks  /  Style
50s
Checks / Style
clippy_check
30s
clippy_check
rustfmt_check
24s
rustfmt_check
Build SDK  /  Build SDK (macOS, all targets)
24m 39s
Build SDK / Build SDK (macOS, all targets)
Build SDK  /  Build SDK (Linux x86_64)
30m 5s
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.2.0-dev.92+0e6c843-linux-aarch64
65.4 MB
sha256:e0df68e12d54353084db7fd9e61e514e3a03b35e2597af98a98a413d5dc9c83f
microkit-sdk-2.2.0-dev.92+0e6c843-linux-x86-64
65.5 MB
sha256:fa9fa6805d382a7e1986b591b14785b7986ddefdce7c7b1593ab5b5f358d108f
microkit-sdk-2.2.0-dev.92+0e6c843-macos-aarch64
65.4 MB
sha256:67c1f6000554704d1daf956aa2b70cf7bef78b6394165bcf34eeee55a5e9a45b
microkit-sdk-2.2.0-dev.92+0e6c843-macos-x86-64
65.4 MB
sha256:a4a5c1e2522fa4c9b2e4b99f7803ef9a36275058936f308dd780df32a9310332