loader: fix qemu GIC addresses #775
sdk.yaml
on: pull_request
Build SDK (Linux x86-64, ARM64)
11m 18s
Build SDK (macOS x86-64, ARM64)
14m 44s
Annotations
3 warnings
|
Build SDK (macOS x86-64, ARM64)
Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag. To silence this message, use the `--formula` flag.
|
|
Build SDK (macOS x86-64, ARM64)
cmake 3.31.5 is already installed and up-to-date.
To reinstall 3.31.5, run:
brew reinstall cmake
|
|
Build SDK (macOS x86-64, ARM64)
dtc 1.7.2 is already installed and up-to-date.
To reinstall 1.7.2, run:
brew reinstall dtc
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
microkit-sdk-1.4.1-dev.76+f6f60cb-linux-aarch64
Expired
|
13.9 MB |
sha256:41a6fe84eeaf53cc2888b6b80e4387c230f535a6ecb92dcab41acc5fa2288f5c
|
|
|
microkit-sdk-1.4.1-dev.76+f6f60cb-linux-x86-64
Expired
|
13.9 MB |
sha256:905f473ed524b497af7211c5551b3583cb2271e977fd3e965361a2d43241d7c4
|
|
|
microkit-sdk-1.4.1-dev.76+f6f60cb-macos-aarch64
Expired
|
13.8 MB |
sha256:9fa65598ef0ae8d99edef8b1e0eed0a5d1f83b6a2201d0d788133cf2d9e08b23
|
|
|
microkit-sdk-1.4.1-dev.76+f6f60cb-macos-x86-64
Expired
|
13.8 MB |
sha256:ced99e1691f460bb9b62d3c61d5bfe0a0cc688d5caf84c85013bb303283a7154
|
|