Add release notes (CHANGES.md) for Microkit 2.3.0 #1498
midnightveilpr.yml
on: pull_request
Freeze Code
14s
Checks
/
Gitlint
36s
Checks
/
Trailing Whitespace
4s
Checks
/
Portable Shell
4s
Checks
/
Style
40s
clippy_check
24s
rustfmt_check
23s
Build SDK
/
Build SDK (macOS, all targets)
26m 23s
Build SDK
/
Build SDK (Linux x86_64)
31m 4s
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.140+1b6bb4b-linux-aarch64
|
65.9 MB |
sha256:a4bcdf16c0f3462640b98b003a5fa57b968ad0a5ede4fc4d5a6e8de5b79703a0
|
|
|
microkit-sdk-2.3.0.140+1b6bb4b-linux-x86-64
|
66 MB |
sha256:c5c648e0ba4056b1ca3d35c709698e7a4dd53385def22f935b16af21bb1e9b22
|
|
|
microkit-sdk-2.3.0.140+1b6bb4b-macos-aarch64
|
65.9 MB |
sha256:59fc4cb73f31a53c1b03a88a168a89740368284bdc5a8d2746bac569346f295b
|
|
|
microkit-sdk-2.3.0.140+1b6bb4b-macos-x86-64
|
65.9 MB |
sha256:997625495a048ee49cebc08102b4c2b148dd555d1a901e3f456c227306d959da
|
|