Add release notes (CHANGES.md) for Microkit 2.3.0 #1495
midnightveilpr.yml
on: pull_request
Freeze Code
16s
Checks
/
Gitlint
38s
Checks
/
Trailing Whitespace
4s
Checks
/
Portable Shell
22s
Checks
/
Style
41s
clippy_check
31s
rustfmt_check
17s
Build SDK
/
Build SDK (macOS, all targets)
25m 49s
Build SDK
/
Build SDK (Linux x86_64)
31m 31s
Annotations
2 warnings
|
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/
|
|
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/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
microkit-sdk-2.2.0-dev.138+f395d76-linux-aarch64
|
66 MB |
sha256:814e83659311f018ef38f1624489f01c20c08bb3095376bd11409215c5720ad5
|
|
|
microkit-sdk-2.2.0-dev.138+f395d76-linux-x86-64
|
66 MB |
sha256:5f50717f60258bfc6094e2bb3121a46ecfc7d26478ae70142865bad2f2e84bab
|
|
|
microkit-sdk-2.2.0-dev.138+f395d76-macos-aarch64
|
65.9 MB |
sha256:7cf215e8ce0b340fffe39c019094fb2b7251c686ad7173bf7298f0a607d37638
|
|
|
microkit-sdk-2.2.0-dev.138+f395d76-macos-x86-64
|
66 MB |
sha256:96b7720ba894ee535287b6089cd2b5e33e54eb3a78edac72b25f3a19d518fe33
|
|