Move to Microkit 1.4.0 #724
Ivan-Velickovicci.yaml
on: pull_request
Build manual
4m 34s
Build and run examples (Linux x86-64)
51s
Build and run examples (macOS x86-64)
2m 39s
Build and run examples (Linux x86-64 via Nix)
1m 31s
Annotations
3 errors and 2 warnings
|
Build and run examples (Linux x86-64)
Process completed with exit code 2.
|
|
Build and run examples (Linux x86-64 via Nix)
Process completed with exit code 2.
|
|
Build and run examples (macOS x86-64)
Process completed with exit code 2.
|
|
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 |
|