[layout] Move Kani proofs from crate root #6716
joshlfci.yml
on: pull_request
Generate cache
3m 4s
Run tests under Kani
2m 1s
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
41s
Check Rust formatting
4s
Check that all toolchains listed in Cargo.toml are tested in CI
29s
Check all-jobs-succeeded depends on all jobs
28s
Run Git hooks
55s
Matrix: build_test
All checks succeeded
0s
Annotations
28 errors
|
Build & Test (zerocopy-derive / stable / / x86_64-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy-derive / stable / / x86_64-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy / nightly / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy / nightly / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy-derive / nightly / / x86_64-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy-derive / nightly / / x86_64-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy-derive / nightly / / i686-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy-derive / nightly / / i686-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy-derive / stable / / i686-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy-derive / stable / / i686-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy / nightly / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy / nightly / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy / nightly / --all-features / i686-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy / nightly / --all-features / i686-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy / nightly / --all-features / x86_64-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy / nightly / --all-features / x86_64-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy / stable / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy / stable / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy / stable / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy / stable / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy-derive / msrv / / x86_64-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy-derive / msrv / / x86_64-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy / msrv / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy / msrv / --features __internal_use_only_features_that_work_on_stable / x86_64-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy / msrv / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy / msrv / --features __internal_use_only_features_that_work_on_stable / i686-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy-derive / msrv / / i686-unknown-linux-gnu)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|
|
Build & Test (zerocopy-derive / msrv / / i686-unknown-linux-gnu)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
|