Add ability to specify version of SDK · seL4/microkit@292b6b7

Triggered via push August 20, 2024 05:24

main

Status Success

Total duration 10m 53s

Artifacts 3

sdk.yaml

on: push

6 warnings

Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag.

cmake 3.30.2 is already installed and up-to-date. To reinstall 3.30.2, run: brew reinstall cmake

dtc 1.7.1 is already installed and up-to-date. To reinstall 1.7.1, run: brew reinstall dtc

Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag.

cmake 3.30.2 is already installed and up-to-date. To reinstall 3.30.2, run: brew reinstall cmake

dtc 1.7.0 is already installed and up-to-date. To reinstall 1.7.0, run: brew reinstall dtc

Produced during runtime

Name	Size
microkit-sdk-1.4.1-dev.7+292b6b7-linux-x86-64 Expired	9.46 MB
microkit-sdk-1.4.1-dev.7+292b6b7-macos-aarch64 Expired	9.38 MB
microkit-sdk-1.4.1-dev.7+292b6b7-macos-x86-64 Expired	9.38 MB