chore: Release version 0.12.6 (#1065) #418
github-merge-queue[bot]ci.yml
on: push
rustfmt
7s
toml_validation
10s
clippy
2m 20s
machete
6s
unused_dependencies
2m 20s
minimal-versions
24s
kani
49s
no-std
20s
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/.
|