Add ability to specify version of SDK #542
Ivan-Velickovicsdk.yaml
on: pull_request
Build SDK (Linux x86-64)
5m 50s
Build SDK (macOS x86-64)
9m 54s
Build SDK (macOS ARM64)
8m 37s
Annotations
6 warnings
|
Build SDK (macOS ARM64)
Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag.
|
|
Build SDK (macOS ARM64)
cmake 3.30.2 is already installed and up-to-date.
To reinstall 3.30.2, run:
brew reinstall cmake
|
|
Build SDK (macOS ARM64)
dtc 1.7.0 is already installed and up-to-date.
To reinstall 1.7.0, run:
brew reinstall dtc
|
|
Build SDK (macOS x86-64)
Treating cmake as a formula. For the cask, use homebrew/cask/cmake or specify the `--cask` flag.
|
|
Build SDK (macOS x86-64)
cmake 3.30.2 is already installed and up-to-date.
To reinstall 3.30.2, run:
brew reinstall cmake
|
|
Build SDK (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 | |
|---|---|---|
|
microkit-sdk-1.4.1-dev.+e1bc6c1-linux-x86-64
Expired
|
9.46 MB |
|
|
microkit-sdk-1.4.1-dev.+e1bc6c1-macos-aarch64
Expired
|
9.38 MB |
|
|
microkit-sdk-1.4.1-dev.+e1bc6c1-macos-x86-64
Expired
|
9.38 MB |
|