Rewrite the tool · seL4/microkit@91d9de1

Triggered via pull request May 21, 2024 14:18

opened #126

rs

Status Failure

Total duration 42m 0s

Artifacts –

sdk.yaml

on: pull_request

2 errors and 8 warnings

Process completed with exit code 1.

Process completed with exit code 1.

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