[ci] use cargo deadlinks
to check for dead links
#3022
ci.yml
on: pull_request
Generate cache
1m 10s
Run tests under Kani
1m 14s
Check Rust formatting
4s
Check that all toolchains listed in Cargo.toml are tested in CI
35s
Check all-jobs-succeeded depends on all jobs
34s
Run Git hooks
1m 17s
Matrix: build_test
Check README.md
26s
Check MSRVs match
6s
Check crate versions match
13s
All checks succeeded
0s
Annotations
46 errors and 202 warnings