Move to Microkit 1.4.0 #730
Ivan-Velickovicci.yaml
on: pull_request
Build manual
4m 48s
Build and run examples (Linux x86-64)
3m 35s
Build and run examples (macOS x86-64)
4m 59s
Build and run examples (Linux x86-64 via Nix)
1m 22s
Annotations
2 errors and 3 warnings
|
Build and run examples (Linux x86-64 via Nix)
Process completed with exit code 2.
|
|
Build and run examples (Linux x86-64)
Process completed with exit code 2.
|
|
Build and run examples (macOS x86-64)
No files were found with the provided path: build_*/loader.img. No artifacts will be uploaded.
|
|
Build and run examples (macOS x86-64)
qemu 9.0.2 is already installed and up-to-date.
To reinstall 9.0.2, run:
brew reinstall qemu
|
|
Build and run examples (macOS x86-64)
dtc 1.7.0 is already installed and up-to-date.
To reinstall 1.7.0, run:
brew reinstall dtc
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
MANUAL
Expired
|
174 KB |
|