domains: Set domain of VM VCPUs to domain of PD #1540
Indanzpr.yml
on: pull_request
Freeze Code
15s
Checks
/
Gitlint
43s
Checks
/
Trailing Whitespace
7s
Checks
/
Portable Shell
5s
Checks
/
Style
47s
clippy_check
26s
rustfmt_check
29s
Build SDK
/
Build SDK (macOS, all targets)
28m 45s
Build SDK
/
Build SDK (Linux x86_64)
31m 33s
Annotations
1 error and 2 warnings
|
Checks / Gitlint
Action gitlint failed.
|
|
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+ffa856e-linux-aarch64
|
68.8 MB |
sha256:887f35f1310e626eb3e71e1750d8aa9785584c88174f3559f84a85d4e1a1f187
|
|
|
microkit-sdk-2.3.0-dev.12+ffa856e-linux-x86-64
|
68.8 MB |
sha256:60e51f052f27ee7a14bd3d578f29e8b7379ed6f779cd7b90fde964e95c435a5e
|
|
|
microkit-sdk-2.3.0-dev.12+ffa856e-macos-aarch64
|
68.8 MB |
sha256:aef804952fdb675b9e5dd114507d5a4b6e50a726c2ed6bf0aeb4e4bc4e0b9536
|
|
|
microkit-sdk-2.3.0-dev.12+ffa856e-macos-x86-64
|
68.8 MB |
sha256:d2176d1a0243b45e3aa6952b505a834c56470a840a938cd9e4fcac68b43ef52b
|
|