manual: update function definitions · seL4/microkit@3d7a2f1

Triggered via push May 21, 2024 04:22

main

Status Success

Total duration 16m 5s

Artifacts –

sdk.yaml

on: push

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