Rewrite the tool · seL4/microkit@47b9402

Triggered via pull request May 22, 2024 04:39

synchronize #126

rs

Status Success

Total duration 10m 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