Skip to content
SDK

Allow building the SDK with a custom toolchain prefix #624

Sign in to view logs

Allow building the SDK with a custom toolchain prefix

Allow building the SDK with a custom toolchain prefix #624

Triggered via pull request October 22, 2024 05:10
@Ivan-VelickovicIvan-Velickovic
opened #228
toolchain_argument
Status Success
Total duration 14m 26s
Artifacts 4

sdk.yaml

on: pull_request
Build SDK (Linux x86-64, ARM64)
8m 31s
Build SDK (Linux x86-64, ARM64)
Build SDK (macOS x86-64, ARM64)
14m 13s
Build SDK (macOS x86-64, ARM64)
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Build SDK (macOS x86-64, ARM64)
Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag. To silence this message, use the `--formula` flag.
Build SDK (macOS x86-64, ARM64)
cmake 3.30.5 is already installed and up-to-date. To reinstall 3.30.5, run: brew reinstall cmake
Build SDK (macOS x86-64, ARM64)
dtc 1.7.1 is already installed and up-to-date. To reinstall 1.7.1, run: brew reinstall dtc

Artifacts

Produced during runtime
Name Size
microkit-sdk-1.4.1-dev.23+c9dcf77-linux-aarch64
10.4 MB
microkit-sdk-1.4.1-dev.23+c9dcf77-linux-x86-64
10.4 MB
microkit-sdk-1.4.1-dev.23+c9dcf77-macos-aarch64
10.3 MB
microkit-sdk-1.4.1-dev.23+c9dcf77-macos-x86-64
10.3 MB