chore: Release version 0.13.0 (#1093) #528
github-merge-queue[bot]ci.yml
on: push
Matrix: test
rustfmt
7s
toml_validation
8s
clippy
2m 22s
docs
2m 0s
machete
4s
unused_dependencies
2m 20s
msrv
38s
minimal-versions
22s
kani
58s
no-std
19s
Check README
3s
all systems go
0s
Annotations
2 warnings
|
no-std
The following actions uses Node.js version which is deprecated and will be forced to run on node20: baptiste0928/cargo-install@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
kani
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|