Skip to content
Build & Tests

Strengthen soundness proof for size_of_val_raw #4513

Sign in to view logs

Strengthen soundness proof for size_of_val_raw

Strengthen soundness proof for size_of_val_raw #4513

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Generate cache
3m 1s
Check Rust formatting
4s
Check that all toolchains listed in Cargo.toml are tested in CI
30s
Run tests under Kani
2m 2s
Check all-jobs-succeeded depends on all jobs
28s
Run Git hooks
53s
Check README.md
11s
Check crate versions match
10s
Build & Test (zerocopy / msrv / --no-default-features / i686-unknown-linux-gnu)
1m 13s
Build & Test (zerocopy / msrv / / i686-unknown-linux-gnu)
1m 14s
Build & Test (zerocopy-derive / msrv / / i686-unknown-linux-gnu)
1m 59s
Build & Test (zerocopy / msrv / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
2m 0s
Build & Test (zerocopy / msrv / --no-default-features / x86_64-unknown-linux-gnu)
1m 22s
Build & Test (zerocopy / msrv / / x86_64-unknown-linux-gnu)
1m 16s
Build & Test (zerocopy-derive / msrv / / x86_64-unknown-linux-gnu)
1m 59s
Build & Test (zerocopy / msrv / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
1m 53s
Build & Test (zerocopy / msrv / --no-default-features / x86_64-pc-windows-msvc)
2m 58s
Build & Test (zerocopy / msrv / / x86_64-pc-windows-msvc)
2m 54s
Build & Test (zerocopy-derive / msrv / / x86_64-pc-windows-msvc)
2m 54s
Build & Test (zerocopy / msrv / --features __internal_use_only_features_that_work_on_stable / x86_64-pc-windows-msvc)
2m 53s
Build & Test (zerocopy / stable / --no-default-features / i686-unknown-linux-gnu)
56s
Build & Test (zerocopy / stable / / i686-unknown-linux-gnu)
1m 0s
Build & Test (zerocopy-derive / stable / / i686-unknown-linux-gnu)
1m 42s
Build & Test (zerocopy / stable / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
1m 35s
Build & Test (zerocopy / stable / --no-default-features / x86_64-unknown-linux-gnu)
47s
Build & Test (zerocopy / stable / / x86_64-unknown-linux-gnu)
44s
Build & Test (zerocopy-derive / stable / / x86_64-unknown-linux-gnu)
1m 23s
Build & Test (zerocopy / stable / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
1m 23s
Build & Test (zerocopy / stable / --no-default-features / x86_64-pc-windows-msvc)
46s
Build & Test (zerocopy / stable / / x86_64-pc-windows-msvc)
34s
Build & Test (zerocopy-derive / stable / / x86_64-pc-windows-msvc)
35s
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 8s
Build & Test (zerocopy / nightly / / i686-unknown-linux-gnu)
1m 10s
Build & Test (zerocopy-derive / nightly / / i686-unknown-linux-gnu)
1m 41s
Build & Test (zerocopy / nightly / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
1m 44s
Build & Test (zerocopy / nightly / --all-features / i686-unknown-linux-gnu)
1m 39s
Build & Test (zerocopy / nightly / --no-default-features / x86_64-unknown-linux-gnu)
54s
Build & Test (zerocopy / nightly / / x86_64-unknown-linux-gnu)
54s
Build & Test (zerocopy-derive / nightly / / x86_64-unknown-linux-gnu)
1m 32s
Build & Test (zerocopy / nightly / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
1m 33s
Build & Test (zerocopy / nightly / --all-features / x86_64-unknown-linux-gnu)
2m 40s
Build & Test (zerocopy / nightly / --no-default-features / x86_64-pc-windows-msvc)
51s
Build & Test (zerocopy / nightly / / x86_64-pc-windows-msvc)
54s
Build & Test (zerocopy-derive / nightly / / x86_64-pc-windows-msvc)
1m 9s
Build & Test (zerocopy / nightly / --features __internal_use_only_features_that_work_on_stable / x86_64-pc-windows-msvc)
1m 11s
Build & Test (zerocopy / nightly / --all-features / x86_64-pc-windows-msvc)
55s
Build & Test (zerocopy / zerocopy-generic-bounds-in-const-fn / --no-default-features / i686-unknown-linux-gnu)
1m 26s
Build & Test (zerocopy / zerocopy-generic-bounds-in-const-fn / / i686-unknown-linux-gnu)
1m 28s
Build & Test (zerocopy / zerocopy-generic-bounds-in-const-fn / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
1m 23s
Build & Test (zerocopy / zerocopy-generic-bounds-in-const-fn / --no-default-features / x86_64-unknown-linux-gnu)
1m 14s
Build & Test (zerocopy / zerocopy-generic-bounds-in-const-fn / / x86_64-unknown-linux-gnu)
1m 8s
Build & Test (zerocopy / zerocopy-generic-bounds-in-const-fn / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
1m 13s
Build & Test (zerocopy / zerocopy-generic-bounds-in-const-fn / --no-default-features / x86_64-pc-windows-msvc)
51s
Build & Test (zerocopy / zerocopy-generic-bounds-in-const-fn / / x86_64-pc-windows-msvc)
45s
Build & Test (zerocopy / zerocopy-generic-bounds-in-const-fn / --features __internal_use_only_features_that_work_on_stable / x86_64-pc-windows-msvc)
44s
Build & Test (zerocopy / zerocopy-aarch64-simd / --no-default-features / i686-unknown-linux-gnu)
1m 7s
Build & Test (zerocopy / zerocopy-aarch64-simd / / i686-unknown-linux-gnu)
1m 13s
Build & Test (zerocopy / zerocopy-aarch64-simd / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
1m 25s
Build & Test (zerocopy / zerocopy-aarch64-simd / --no-default-features / x86_64-unknown-linux-gnu)
55s
Build & Test (zerocopy / zerocopy-aarch64-simd / / x86_64-unknown-linux-gnu)
1m 0s
Build & Test (zerocopy / zerocopy-aarch64-simd / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
1m 6s
Build & Test (zerocopy / zerocopy-aarch64-simd / --no-default-features / x86_64-pc-windows-msvc)
2m 51s
Build & Test (zerocopy / zerocopy-aarch64-simd / / x86_64-pc-windows-msvc)
2m 58s
Build & Test (zerocopy / zerocopy-aarch64-simd / --features __internal_use_only_features_that_work_on_stable / x86_64-pc-windows-msvc)
2m 49s
Build & Test (zerocopy / zerocopy-panic-in-const / --no-default-features / i686-unknown-linux-gnu)
1m 12s
Build & Test (zerocopy / zerocopy-panic-in-const / / i686-unknown-linux-gnu)
1m 18s
Build & Test (zerocopy / zerocopy-panic-in-const / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
1m 27s
Build & Test (zerocopy / zerocopy-panic-in-const / --no-default-features / x86_64-unknown-linux-gnu)
1m 2s
Build & Test (zerocopy / zerocopy-panic-in-const / / x86_64-unknown-linux-gnu)
1m 11s
Build & Test (zerocopy / zerocopy-panic-in-const / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
1m 6s
Build & Test (zerocopy / zerocopy-panic-in-const / --no-default-features / x86_64-pc-windows-msvc)
3m 2s
Build & Test (zerocopy / zerocopy-panic-in-const / / x86_64-pc-windows-msvc)
3m 8s
Build & Test (zerocopy / zerocopy-panic-in-const / --features __internal_use_only_features_that_work_on_stable / x86_64-pc-windows-msvc)
3m 2s
All checks succeeded
0s
1h 46m 5s