Skip to content
Build & Tests

Remove obsolete safety proofs #6660

Sign in to view logs

Remove obsolete safety proofs

Remove obsolete safety proofs #6660

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
36s
Run tests under Kani
2m 2s
Check Rust formatting
4s
Check that all toolchains listed in Cargo.toml are tested in CI
27s
Check all-jobs-succeeded depends on all jobs
31s
Generate cache
6s
Run Git hooks
57s
Check README.md
16s
Check crate versions match
8s
Build & Test (zerocopy / msrv / --no-default-features / i686-unknown-linux-gnu)
1m 4s
Build & Test (zerocopy / msrv / / i686-unknown-linux-gnu)
1m 8s
Build & Test (zerocopy-derive / msrv / / i686-unknown-linux-gnu)
2m 22s
Build & Test (zerocopy / msrv / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
2m 20s
Build & Test (zerocopy / msrv / --no-default-features / x86_64-unknown-linux-gnu)
1m 0s
Build & Test (zerocopy / msrv / / x86_64-unknown-linux-gnu)
1m 1s
Build & Test (zerocopy-derive / msrv / / x86_64-unknown-linux-gnu)
2m 12s
Build & Test (zerocopy / msrv / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
2m 13s
Build & Test (zerocopy / msrv / --no-default-features / x86_64-pc-windows-msvc)
44s
Build & Test (zerocopy / msrv / / x86_64-pc-windows-msvc)
50s
Build & Test (zerocopy-derive / msrv / / x86_64-pc-windows-msvc)
51s
Build & Test (zerocopy / msrv / --features __internal_use_only_features_that_work_on_stable / x86_64-pc-windows-msvc)
50s
Build & Test (zerocopy / stable / --no-default-features / i686-unknown-linux-gnu)
1m 19s
Build & Test (zerocopy / stable / / i686-unknown-linux-gnu)
48s
Build & Test (zerocopy-derive / stable / / i686-unknown-linux-gnu)
2m 1s
Build & Test (zerocopy / stable / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
1m 28s
Build & Test (zerocopy / stable / --no-default-features / x86_64-unknown-linux-gnu)
46s
Build & Test (zerocopy / stable / / x86_64-unknown-linux-gnu)
42s
Build & Test (zerocopy-derive / stable / / x86_64-unknown-linux-gnu)
1m 29s
Build & Test (zerocopy / stable / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
1m 20s
Build & Test (zerocopy / stable / --no-default-features / x86_64-pc-windows-msvc)
31s
Build & Test (zerocopy / stable / / x86_64-pc-windows-msvc)
31s
Build & Test (zerocopy-derive / stable / / x86_64-pc-windows-msvc)
53s
Build & Test (zerocopy / stable / --features __internal_use_only_features_that_work_on_stable / x86_64-pc-windows-msvc)
47s
Build & Test (zerocopy / nightly / --no-default-features / i686-unknown-linux-gnu)
1m 4s
Build & Test (zerocopy / nightly / / i686-unknown-linux-gnu)
1m 5s
Build & Test (zerocopy-derive / nightly / / i686-unknown-linux-gnu)
1m 37s
Build & Test (zerocopy / nightly / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
2m 27s
Build & Test (zerocopy / nightly / --all-features / i686-unknown-linux-gnu)
1m 39s
Build & Test (zerocopy / nightly / --no-default-features / x86_64-unknown-linux-gnu)
1m 2s
Build & Test (zerocopy / nightly / / x86_64-unknown-linux-gnu)
1m 2s
Build & Test (zerocopy-derive / nightly / / x86_64-unknown-linux-gnu)
1m 30s
Build & Test (zerocopy / nightly / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
1m 22s
Build & Test (zerocopy / nightly / --all-features / x86_64-unknown-linux-gnu)
2m 50s
Build & Test (zerocopy / nightly / --no-default-features / x86_64-pc-windows-msvc)
41s
Build & Test (zerocopy / nightly / / x86_64-pc-windows-msvc)
40s
Build & Test (zerocopy-derive / nightly / / x86_64-pc-windows-msvc)
54s
Build & Test (zerocopy / nightly / --features __internal_use_only_features_that_work_on_stable / x86_64-pc-windows-msvc)
47s
Build & Test (zerocopy / nightly / --all-features / x86_64-pc-windows-msvc)
52s
Build & Test (zerocopy / zerocopy-core-error-1-81-0 / --no-default-features / i686-unknown-linux-gnu)
1m 5s
Build & Test (zerocopy / zerocopy-core-error-1-81-0 / / i686-unknown-linux-gnu)
53s
Build & Test (zerocopy / zerocopy-core-error-1-81-0 / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
1m 5s
Build & Test (zerocopy / zerocopy-core-error-1-81-0 / --no-default-features / x86_64-unknown-linux-gnu)
50s
Build & Test (zerocopy / zerocopy-core-error-1-81-0 / / x86_64-unknown-linux-gnu)
42s
Build & Test (zerocopy / zerocopy-core-error-1-81-0 / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
54s
Build & Test (zerocopy / zerocopy-diagnostic-on-unimplemented-1-78-0 / --no-default-features / i686-unknown-linux-gnu)
1m 2s
Build & Test (zerocopy / zerocopy-diagnostic-on-unimplemented-1-78-0 / / i686-unknown-linux-gnu)
1m 32s
Build & Test (zerocopy / zerocopy-diagnostic-on-unimplemented-1-78-0 / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
56s
Build & Test (zerocopy / zerocopy-diagnostic-on-unimplemented-1-78-0 / --no-default-features / x86_64-unknown-linux-gnu)
41s
Build & Test (zerocopy / zerocopy-diagnostic-on-unimplemented-1-78-0 / / x86_64-unknown-linux-gnu)
58s
Build & Test (zerocopy / zerocopy-diagnostic-on-unimplemented-1-78-0 / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
55s
Build & Test (zerocopy / zerocopy-generic-bounds-in-const-fn-1-61-0 / --no-default-features / i686-unknown-linux-gnu)
1m 0s
Build & Test (zerocopy / zerocopy-generic-bounds-in-const-fn-1-61-0 / / i686-unknown-linux-gnu)
1m 41s
Build & Test (zerocopy / zerocopy-generic-bounds-in-const-fn-1-61-0 / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
1m 22s
Build & Test (zerocopy / zerocopy-generic-bounds-in-const-fn-1-61-0 / --no-default-features / x86_64-unknown-linux-gnu)
1m 11s
Build & Test (zerocopy / zerocopy-generic-bounds-in-const-fn-1-61-0 / / x86_64-unknown-linux-gnu)
1m 0s
Build & Test (zerocopy / zerocopy-generic-bounds-in-const-fn-1-61-0 / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
1m 16s
Build & Test (zerocopy / zerocopy-target-has-atomics-1-60-0 / --no-default-features / i686-unknown-linux-gnu)
1m 40s
Build & Test (zerocopy / zerocopy-target-has-atomics-1-60-0 / / i686-unknown-linux-gnu)
1m 0s
Build & Test (zerocopy / zerocopy-target-has-atomics-1-60-0 / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
1m 18s
Build & Test (zerocopy / zerocopy-target-has-atomics-1-60-0 / --no-default-features / x86_64-unknown-linux-gnu)
55s
Build & Test (zerocopy / zerocopy-target-has-atomics-1-60-0 / / x86_64-unknown-linux-gnu)
1m 6s
Build & Test (zerocopy / zerocopy-target-has-atomics-1-60-0 / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
1m 15s
Build & Test (zerocopy / zerocopy-target-has-atomics-1-60-0 / --no-default-features / x86_64-pc-windows-msvc)
50s
Build & Test (zerocopy / zerocopy-target-has-atomics-1-60-0 / / x86_64-pc-windows-msvc)
41s
Build & Test (zerocopy / zerocopy-target-has-atomics-1-60-0 / --features __internal_use_only_features_that_work_on_stable / x86_64-pc-windows-msvc)
47s
Build & Test (zerocopy / zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / --no-default-features / i686-unknown-linux-gnu)
1m 2s
Build & Test (zerocopy / zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / / i686-unknown-linux-gnu)
1m 10s
Build & Test (zerocopy / zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
1m 24s
Build & Test (zerocopy / zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / --no-default-features / x86_64-unknown-linux-gnu)
1m 5s
Build & Test (zerocopy / zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / / x86_64-unknown-linux-gnu)
1m 3s
Build & Test (zerocopy / zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
1m 7s
Build & Test (zerocopy / zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / --no-default-features / x86_64-pc-windows-msvc)
40s
Build & Test (zerocopy / zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / / x86_64-pc-windows-msvc)
49s
Build & Test (zerocopy / zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / --features __internal_use_only_features_that_work_on_stable / x86_64-pc-windows-msvc)
1m 0s
All checks succeeded
0s
1h 31m 44s