Skip to content
Build & Tests

[WIP] Use kani to test or prove the correctness of core algorithms #978

Sign in to view logs

[WIP] Use kani to test or prove the correctness of core algorithms

[WIP] Use kani to test or prove the correctness of core algorithms #978

Triggered via pull request September 14, 2023 00:05
@jswrennjswrenn
opened #379
kani
Status Failure
Total duration 4m 55s
Artifacts –

ci.yml

on: pull_request
Generate cache
25s
Generate cache
Check Rust formatting
9s
Check Rust formatting
Check README.md
8s
Check README.md
Check MSRVs match
13s
Check MSRVs match
Check crate versions match
7s
Check crate versions match
Matrix: build_test
Fit to window
Zoom out
Zoom in

Annotations

117 errors
Build & Test (crate:zerocopy, toolchain:nightly, target:riscv64gc-unknown-linux-gnu, features:--all-features)
Process completed with exit code 101.
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Process completed with exit code 101.
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:wasm32-wasi, features:)
Process completed with exit code 101.
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:)
Process completed with exit code 101.
Build & Test (crate:zerocopy, toolchain:nightly, target:riscv64gc-unknown-linux-gnu, features:)
Process completed with exit code 101.
Build & Test (crate:zerocopy, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:)
Process completed with exit code 101.
Build & Test (crate:zerocopy, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:riscv64gc-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Process completed with exit code 101.
Build & Test (crate:zerocopy, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Process completed with exit code 101.
Build & Test (crate:zerocopy, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:powerpc-unknown-linux-gnu, features:)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:)
Process completed with exit code 101.
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:wasm32-wasi, features:--all-features)
Process completed with exit code 101.
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:--all-features)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:--all-features)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:--all-features)
Process completed with exit code 101.
Build & Test (crate:zerocopy, toolchain:nightly, target:wasm32-wasi, features:--features __internal_use_only_features_that_work_on_stable)
Process completed with exit code 101.
Build & Test (crate:zerocopy, toolchain:stable, target:x86_64-unknown-linux-gnu, features:)
Process completed with exit code 101.
Build & Test (crate:zerocopy, toolchain:stable, target:x86_64-unknown-linux-gnu, features:)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:stable, target:x86_64-unknown-linux-gnu, features:)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:arm-unknown-linux-gnueabi, features:)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:nightly, target:powerpc-unknown-linux-gnu, features:--all-features)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:nightly, target:powerpc-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:nightly, target:mips64-unknown-linux-gnuabi64, features:)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:nightly, target:aarch64-unknown-linux-gnu, features:)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:nightly, target:powerpc64-unknown-linux-gnu, features:--all-features)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:nightly, target:aarch64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:nightly, target:s390x-unknown-linux-gnu, features:)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:nightly, target:arm-unknown-linux-gnueabi, features:--features __internal_use_only_features_that_work_on_stable)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:nightly, target:arm-unknown-linux-gnueabi, features:--all-features)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:nightly, target:s390x-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:nightly, target:aarch64-unknown-linux-gnu, features:--all-features)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:stable, target:i686-unknown-linux-gnu, features:)
Process completed with exit code 101.
Build & Test (crate:zerocopy, toolchain:stable, target:i686-unknown-linux-gnu, features:)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:stable, target:i686-unknown-linux-gnu, features:)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:mips-unknown-linux-gnu, features:)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:stable, target:x86_64-unknown-linux-gnu, features:--no-default-features)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:stable, target:x86_64-unknown-linux-gnu, features:--no-default-features)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:stable, target:x86_64-unknown-linux-gnu, features:--no-default-features)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:stable, target:x86_64-unknown-linux-gnu, features:--no-default-features)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:mips64-unknown-linux-gnuabi64, features:--features __internal_use_only_features_that_work_on_stable)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:nightly, target:mips64-unknown-linux-gnuabi64, features:--all-features)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:stable, target:x86_64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:stable, target:x86_64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:stable, target:x86_64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Process completed with exit code 101.
Build & Test (crate:zerocopy, toolchain:nightly, target:mips-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Process completed with exit code 101.
Build & Test (crate:zerocopy, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:--no-default-features)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:powerpc64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:--no-default-features)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:--no-default-features)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:--no-default-features)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:msrv, target:i686-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Process completed with exit code 101.
Build & Test (crate:zerocopy-derive, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:msrv, target:i686-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:msrv, target:i686-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:stable, target:x86_64-unknown-linux-gnu, features:)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:stable, target:x86_64-unknown-linux-gnu, features:)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:stable, target:x86_64-unknown-linux-gnu, features:)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:stable, target:x86_64-unknown-linux-gnu, features:)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:mips-unknown-linux-gnu, features:--all-features)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:nightly, target:powerpc64-unknown-linux-gnu, features:)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:msrv, target:i686-unknown-linux-gnu, features:--no-default-features)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:msrv, target:i686-unknown-linux-gnu, features:--no-default-features)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:msrv, target:i686-unknown-linux-gnu, features:--no-default-features)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:msrv, target:i686-unknown-linux-gnu, features:--no-default-features)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:--all-features)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:--all-features)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:--all-features)
Process completed with exit code 101.
Build & Test (crate:zerocopy, toolchain:nightly, target:s390x-unknown-linux-gnu, features:--all-features)
Process completed with exit code 1.
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:--no-default-features)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:--no-default-features)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:--no-default-features)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:--no-default-features)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:stable, target:i686-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:stable, target:i686-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:stable, target:i686-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
Process completed with exit code 101.
Build & Test (crate:zerocopy, toolchain:stable, target:i686-unknown-linux-gnu, features:--no-default-features)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:stable, target:i686-unknown-linux-gnu, features:--no-default-features)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:stable, target:i686-unknown-linux-gnu, features:--no-default-features)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:stable, target:i686-unknown-linux-gnu, features:--no-default-features)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:msrv, target:i686-unknown-linux-gnu, features:)
Process completed with exit code 101.
Build & Test (crate:zerocopy, toolchain:msrv, target:i686-unknown-linux-gnu, features:)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:msrv, target:i686-unknown-linux-gnu, features:)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:stable, target:i686-unknown-linux-gnu, features:)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:stable, target:i686-unknown-linux-gnu, features:)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:stable, target:i686-unknown-linux-gnu, features:)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:stable, target:i686-unknown-linux-gnu, features:)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:--no-default-features)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:--no-default-features)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:--no-default-features)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:--no-default-features)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:msrv, target:i686-unknown-linux-gnu, features:)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:msrv, target:i686-unknown-linux-gnu, features:)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:msrv, target:i686-unknown-linux-gnu, features:)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:msrv, target:i686-unknown-linux-gnu, features:)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:nightly, target:i686-unknown-linux-gnu, features:)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:nightly, target:i686-unknown-linux-gnu, features:)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:nightly, target:i686-unknown-linux-gnu, features:)
ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'
Build & Test (crate:zerocopy-derive, toolchain:nightly, target:i686-unknown-linux-gnu, features:)
Error: ENOENT: no such file or directory, opendir '/home/runner/work/zerocopy/zerocopy/target/tests/target'