Skip to content

Remove obsolete safety proofs #6652

Remove obsolete safety proofs

Remove obsolete safety proofs #6652

Triggered via pull request March 7, 2025 00:13
Status Failure
Total duration 5m 3s
Artifacts

ci.yml

on: pull_request
Generate cache
7s
Generate cache
Run tests under Kani
1m 54s
Run tests under Kani
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
34s
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
Check Rust formatting
3s
Check Rust formatting
Check that all toolchains listed in Cargo.toml are tested in CI
41s
Check that all toolchains listed in Cargo.toml are tested in CI
Check all-jobs-succeeded depends on all jobs
25s
Check all-jobs-succeeded depends on all jobs
Run Git hooks
53s
Run Git hooks
Matrix: build_test
Check README.md
11s
Check README.md
Check crate versions match
7s
Check crate versions match
All checks succeeded
0s
All checks succeeded
Fit to window
Zoom out
Zoom in

Annotations

7 errors
Build & Test (zerocopy-derive / stable / / x86_64-unknown-linux-gnu)
Process completed with exit code 101.
Build & Test (zerocopy-derive / nightly / / 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.