Fix prints in error messages · seL4/microkit@32c9c3d

Triggered via push September 3, 2024 12:41

main

Status Success

Total duration 19m 41s

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.1 is already installed and up-to-date. To reinstall 1.7.1, run: brew reinstall dtc

Produced during runtime

Name	Size
microkit-sdk-1.4.1-dev.12+32c9c3d-linux-x86-64 Expired	9.48 MB
microkit-sdk-1.4.1-dev.12+32c9c3d-macos-aarch64 Expired	9.39 MB
microkit-sdk-1.4.1-dev.12+32c9c3d-macos-x86-64 Expired	9.39 MB