SDK

Use Nix 25.05 #936

Sign in to view logs

Triggered via push August 26, 2025 07:13

Ivan-Velickovic

main

Status Success

Total duration 1h 2m 58s

Artifacts 4

sdk.yaml

on: push

Build SDK (Linux x86-64, ARM64)

Build SDK (macOS x86-64, ARM64)

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+7f2d40e-linux-aarch64 Expired	15.9 MB	`sha256:2d621cdde9b8e8ca6675f3fd10e559b565ab7d79bac5a9f0a7aec06e5786227e`
microkit-sdk-2.0.1-dev.50+7f2d40e-linux-x86-64 Expired	15.9 MB	`sha256:ef83d1b12f8f53f8b0a75ce262c8e06f055bde0659a50793beadfa7b941cdabc`
microkit-sdk-2.0.1-dev.50+7f2d40e-macos-aarch64 Expired	16.4 MB	`sha256:804782930051cfeacd156f4c64e748e13991f469b4157ae9e0916d6816a2143b`
microkit-sdk-2.0.1-dev.50+7f2d40e-macos-x86-64 Expired	16.4 MB	`sha256:7e41f540c9df6dca21e6617073237f90e6fa8c083178ceda0ba7410e84247bce`