Skip to content
Build & Tests

Remove obsolete safety proofs #6652

Sign in to view logs

Remove obsolete safety proofs

Remove obsolete safety proofs #6652

Run time

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