Remove obsolete safety proofs #6658
joshlfci.yml
on: pull_request
Generate cache
5s
Run tests under Kani
1m 57s
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
37s
Check Rust formatting
5s
Check that all toolchains listed in Cargo.toml are tested in CI
27s
Check all-jobs-succeeded depends on all jobs
27s
Run Git hooks
50s
Matrix: build_test
All checks succeeded
0s
Annotations
5 errors
|
Build & Test (zerocopy-derive / nightly / / x86_64-unknown-linux-gnu)
Process completed with exit code 101.
|
|
Build & Test (zerocopy-derive / stable / / x86_64-unknown-linux-gnu)
Process completed with exit code 101.
|
|
Build & Test (zerocopy-derive / nightly / / i686-unknown-linux-gnu)
Process completed with exit code 101.
|
|
Build & Test (zerocopy-derive / stable / / i686-unknown-linux-gnu)
Process completed with exit code 101.
|
|
All checks succeeded
Process completed with exit code 1.
|