domains: Set domain of VM VCPUs to domain of PD #1541
midnightveilpr.yml
on: pull_request
Freeze Code
13s
Checks
/
Gitlint
36s
Checks
/
Trailing Whitespace
8s
Checks
/
Portable Shell
8s
Checks
/
Style
54s
clippy_check
24s
rustfmt_check
28s
Build SDK
/
Build SDK (macOS, all targets)
27m 54s
Build SDK
/
Build SDK (Linux x86_64)
32m 9s
Annotations
2 warnings
|
rustfmt_check
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
clippy_check
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
microkit-sdk-2.3.0-dev.12+4767063-linux-aarch64
|
68.8 MB |
sha256:ff9780d0559dd1bc5b188f6054b10230ef4ad13f13dbf14343902a1df30b9c1c
|
|
|
microkit-sdk-2.3.0-dev.12+4767063-linux-x86-64
|
68.8 MB |
sha256:ee909cf67532ad5b3cdc19c867aa5ad7244467aa9499946ae7904f848ec8ddf7
|
|
|
microkit-sdk-2.3.0-dev.12+4767063-macos-aarch64
|
68.8 MB |
sha256:28014529d07f1ca407740a70e969a08804ddb105c461c02367ca8195376df116
|
|
|
microkit-sdk-2.3.0-dev.12+4767063-macos-x86-64
|
68.8 MB |
sha256:62fbf30c6a522aa8a59bbd2b5d04f0afb028773a05a0a22d362cf4d4df277f4a
|
|