chore: Release version 0.12.5 (#1050) #388
github-merge-queue[bot]ci.yml
on: push
rustfmt
13s
toml_validation
9s
clippy
2m 24s
machete
13s
unused_dependencies
2m 26s
minimal-versions
36s
kani
56s
no-std
33s
Matrix: test
Annotations
2 warnings
|
no-std
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: baptiste0928/cargo-install@v2. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
kani
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|