[CI] Bump github/codeql-action from 2.22.0 to 2.22.1 #1230
ci.yml
on: pull_request
Generate cache
2m 18s
Check Rust formatting
9s
Matrix: build_test
Run tests under Kani
1m 38s
Check README.md
12s
Check MSRVs match
11s
Check crate versions match
8s
All checks succeeded
0s
Annotations
16 errors