[pointer][invariant] Move to separate file (#1906) #6451
ci.yml
on: pull_request
Generate cache
26s
Run tests under Kani
2m 0s
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
47s
Check Rust formatting
5s
Check that all toolchains listed in Cargo.toml are tested in CI
30s
Check all-jobs-succeeded depends on all jobs
33s
Run Git hooks
52s
Matrix: build_test
All checks succeeded
0s