Skip to content
SDK

manual: minor fixes #1378

Sign in to view logs

manual: minor fixes

manual: minor fixes #1378

Triggered via pull request March 10, 2026 02:46
@Ivan-VelickovicIvan-Velickovic
opened #432
manual_fixes
Status Success
Total duration 31m 1s
Artifacts 4

sdk.yaml

on: pull_request
Build SDK (Linux x86-64)
30m 58s
Build SDK (Linux x86-64)
Build SDK (macOS, all targets)
22m 54s
Build SDK (macOS, all targets)
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
microkit-sdk-2.1.0-dev.28+2ac59b0-linux-aarch64
57.4 MB
sha256:b683b8150bbfffed8fba6ae659c9216e21b3f16293570ddb91236e153b86b811
microkit-sdk-2.1.0-dev.28+2ac59b0-linux-x86-64
57.5 MB
sha256:d36c052c1e7a73ee68059bcb943a0f478b8b6b2f599b69a44d93cbfdbee82e53
microkit-sdk-2.1.0-dev.28+2ac59b0-macos-aarch64
57.4 MB
sha256:d6952a80c5ebcd03b582c8e2a116f0c54c9af95e953836a76a1ecff320abfc36
microkit-sdk-2.1.0-dev.28+2ac59b0-macos-x86-64
57.4 MB
sha256:a73b1f98a9c46ccb071681c685c2e30470c711ba1260e83f15b3301c47663052