Skip to content
SDK

Use Nix 25.05 #933

Sign in to view logs

Use Nix 25.05

Use Nix 25.05 #933

Triggered via pull request August 26, 2025 06:56
@Ivan-VelickovicIvan-Velickovic
opened #323
nix_25.05
Status Success
Total duration 1h 0m 17s
Artifacts 4

sdk.yaml

on: pull_request
Build SDK (Linux x86-64, ARM64)
9m 55s
Build SDK (Linux x86-64, ARM64)
Build SDK (macOS x86-64, ARM64)
1h 0m
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+b6ca3c4-linux-aarch64 Expired
15.9 MB
sha256:955d55ab92077414b4c012b2dd19dfdfefe7ae61b93a185d1db75001e29c03b9
microkit-sdk-2.0.1-dev.50+b6ca3c4-linux-x86-64 Expired
15.9 MB
sha256:986cce8e79db9b354404881ee7c5c2f3918d349056d126e3755ef735d80e0e7d
microkit-sdk-2.0.1-dev.50+b6ca3c4-macos-aarch64 Expired
16.4 MB
sha256:55cf92b05ac50230772e8e9f2d08d0fd6d12b4bbad737c2c0e6782cdf2cf7dbd
microkit-sdk-2.0.1-dev.50+b6ca3c4-macos-x86-64 Expired
16.4 MB
sha256:8c3cc76722e15612d6b076172b19ff956d63dcc8d6047b2bed545f1af961bcf4