libmicrokit: remove dependency on toolchain headers · seL4/microkit@1ed9b10

Triggered via pull request May 21, 2024 04:21

synchronize #125

Status Success

Total duration 15m 8s

Artifacts –

sdk.yaml

on: pull_request

8 warnings

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

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

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

qemu 9.0.0 is already installed and up-to-date. To reinstall 9.0.0, run: brew reinstall qemu

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

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

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

qemu 9.0.0 is already installed and up-to-date. To reinstall 9.0.0, run: brew reinstall qemu