Split test_ptr_try_cast_into_soundness
(#1308)
#3953
ci.yml
on: push
Generate cache
2m 32s
Run tests under Kani
1m 19s
Check Rust formatting
6s
Check that all toolchains listed in Cargo.toml are tested in CI
27s
Check all-jobs-succeeded depends on all jobs
29s
Run Git hooks
52s
Matrix: build_test
Check README.md
11s
Check MSRVs match
6s
Check crate versions match
13s
All checks succeeded
0s
Annotations
202 warnings