Add more error checking for memory mappings · seL4/microkit@bfcba00

Triggered via push August 27, 2024 02:06

main

Status Success

Total duration 10m 42s

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.8+bfcba00-linux-x86-64 Expired	9.47 MB
microkit-sdk-1.4.1-dev.8+bfcba00-macos-aarch64 Expired	9.38 MB
microkit-sdk-1.4.1-dev.8+bfcba00-macos-x86-64 Expired	9.38 MB