Skip to content
SDK

Use Nix 25.05 #934

Sign in to view logs

Use Nix 25.05

Use Nix 25.05 #934

Triggered via pull request August 26, 2025 07:04
@Ivan-VelickovicIvan-Velickovic
synchronize #323
nix_25.05
Status Success
Total duration 56m 1s
Artifacts 4

sdk.yaml

on: pull_request
Build SDK (Linux x86-64, ARM64)
11m 26s
Build SDK (Linux x86-64, ARM64)
Build SDK (macOS x86-64, ARM64)
55m 57s
Build SDK (macOS x86-64, ARM64)
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
Build SDK (macOS x86-64, ARM64)
python@3.12 3.12.11 is already installed and up-to-date. To reinstall 3.12.11, run: brew reinstall python@3.12
Build SDK (macOS x86-64, ARM64)
ninja 1.13.1 is already installed and up-to-date. To reinstall 1.13.1, run: brew reinstall ninja
Build SDK (macOS x86-64, ARM64)
dtc 1.7.2 is already installed and up-to-date. To reinstall 1.7.2, run: brew reinstall dtc
Build SDK (macOS x86-64, ARM64)
Not overwriting share/info
Build SDK (macOS x86-64, ARM64)
Not overwriting share/gdb

Artifacts

Produced during runtime
Name Size Digest
microkit-sdk-2.0.1-dev.50+3c864bd-linux-aarch64 Expired
15.9 MB
sha256:0da60dc4bfb914d472cf801c319d0dfb41ec98be59c671f35c909456d2e2b5f1
microkit-sdk-2.0.1-dev.50+3c864bd-linux-x86-64 Expired
15.9 MB
sha256:54256794548ad4b8749cd86b9d510c948230f929aae3f937565c571e3fa1ca12
microkit-sdk-2.0.1-dev.50+3c864bd-macos-aarch64 Expired
16.4 MB
sha256:04c224c3b72eceeefff9c76ca7382e6ffbadf6fa2bf70691283c920e504577be
microkit-sdk-2.0.1-dev.50+3c864bd-macos-x86-64 Expired
16.4 MB
sha256:86e4cce70d6926cd0276e2ab3479776c5bfdd520eeb098509a9c8c6ae759deec