Skip to content
Build & Tests

[ci][kani] Pass correct RUSTFLAGS #1278

Sign in to view logs

[ci][kani] Pass correct RUSTFLAGS

[ci][kani] Pass correct RUSTFLAGS #1278

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check Rust formatting
11s
Generate cache
56s
Check MSRVs match
13s
Check README.md
6s
Check crate versions match
12s
Run tests under Kani
1m 54s
Build & Test (crate:zerocopy, toolchain:msrv, target:i686-unknown-linux-gnu, features:--no-default-features)
1m 10s
Build & Test (crate:zerocopy, toolchain:msrv, target:i686-unknown-linux-gnu, features:)
1m 5s
Build & Test (crate:zerocopy-derive, toolchain:msrv, target:i686-unknown-linux-gnu, features:)
1m 5s
Build & Test (crate:zerocopy, toolchain:msrv, target:i686-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
1m 47s
Build & Test (crate:zerocopy, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:--no-default-features)
47s
Build & Test (crate:zerocopy, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:)
44s
Build & Test (crate:zerocopy-derive, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:)
1m 19s
Build & Test (crate:zerocopy, toolchain:msrv, target:x86_64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
1m 22s
Build & Test (crate:zerocopy, toolchain:msrv, target:arm-unknown-linux-gnueabi, features:--no-default-features)
32s
Build & Test (crate:zerocopy, toolchain:msrv, target:arm-unknown-linux-gnueabi, features:)
32s
Build & Test (crate:zerocopy-derive, toolchain:msrv, target:arm-unknown-linux-gnueabi, features:)
38s
Build & Test (crate:zerocopy, toolchain:msrv, target:arm-unknown-linux-gnueabi, features:--features __internal_use_only_features_that_work_on_stable)
53s
Build & Test (crate:zerocopy, toolchain:msrv, target:aarch64-unknown-linux-gnu, features:--no-default-features)
41s
Build & Test (crate:zerocopy, toolchain:msrv, target:aarch64-unknown-linux-gnu, features:)
34s
Build & Test (crate:zerocopy-derive, toolchain:msrv, target:aarch64-unknown-linux-gnu, features:)
58s
Build & Test (crate:zerocopy, toolchain:msrv, target:aarch64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
36s
Build & Test (crate:zerocopy, toolchain:msrv, target:powerpc-unknown-linux-gnu, features:--no-default-features)
32s
Build & Test (crate:zerocopy, toolchain:msrv, target:powerpc-unknown-linux-gnu, features:)
32s
Build & Test (crate:zerocopy-derive, toolchain:msrv, target:powerpc-unknown-linux-gnu, features:)
36s
Build & Test (crate:zerocopy, toolchain:msrv, target:powerpc-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
59s
Build & Test (crate:zerocopy, toolchain:msrv, target:powerpc64-unknown-linux-gnu, features:--no-default-features)
32s
Build & Test (crate:zerocopy, toolchain:msrv, target:powerpc64-unknown-linux-gnu, features:)
32s
Build & Test (crate:zerocopy-derive, toolchain:msrv, target:powerpc64-unknown-linux-gnu, features:)
43s
Build & Test (crate:zerocopy, toolchain:msrv, target:powerpc64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
42s
Build & Test (crate:zerocopy, toolchain:msrv, target:riscv64gc-unknown-linux-gnu, features:--no-default-features)
28s
Build & Test (crate:zerocopy, toolchain:msrv, target:riscv64gc-unknown-linux-gnu, features:)
35s
Build & Test (crate:zerocopy-derive, toolchain:msrv, target:riscv64gc-unknown-linux-gnu, features:)
37s
Build & Test (crate:zerocopy, toolchain:msrv, target:riscv64gc-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
43s
Build & Test (crate:zerocopy, toolchain:msrv, target:mips-unknown-linux-gnu, features:--no-default-features)
35s
Build & Test (crate:zerocopy, toolchain:msrv, target:mips-unknown-linux-gnu, features:)
35s
Build & Test (crate:zerocopy-derive, toolchain:msrv, target:mips-unknown-linux-gnu, features:)
56s
Build & Test (crate:zerocopy, toolchain:msrv, target:mips-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
43s
Build & Test (crate:zerocopy, toolchain:msrv, target:mips64-unknown-linux-gnuabi64, features:--no-default-features)
31s
Build & Test (crate:zerocopy, toolchain:msrv, target:mips64-unknown-linux-gnuabi64, features:)
37s
Build & Test (crate:zerocopy-derive, toolchain:msrv, target:mips64-unknown-linux-gnuabi64, features:)
35s
Build & Test (crate:zerocopy, toolchain:msrv, target:mips64-unknown-linux-gnuabi64, features:--features __internal_use_only_features_that_work_on_stable)
55s
Build & Test (crate:zerocopy, toolchain:msrv, target:s390x-unknown-linux-gnu, features:--no-default-features)
40s
Build & Test (crate:zerocopy, toolchain:msrv, target:s390x-unknown-linux-gnu, features:)
29s
Build & Test (crate:zerocopy-derive, toolchain:msrv, target:s390x-unknown-linux-gnu, features:)
36s
Build & Test (crate:zerocopy, toolchain:msrv, target:s390x-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
40s
Build & Test (crate:zerocopy, toolchain:msrv, target:wasm32-wasi, features:--no-default-features)
28s
Build & Test (crate:zerocopy, toolchain:msrv, target:wasm32-wasi, features:)
44s
Build & Test (crate:zerocopy-derive, toolchain:msrv, target:wasm32-wasi, features:)
35s
Build & Test (crate:zerocopy, toolchain:msrv, target:wasm32-wasi, features:--features __internal_use_only_features_that_work_on_stable)
44s
Build & Test (crate:zerocopy, toolchain:stable, target:i686-unknown-linux-gnu, features:--no-default-features)
53s
Build & Test (crate:zerocopy, toolchain:stable, target:i686-unknown-linux-gnu, features:)
1m 6s
Build & Test (crate:zerocopy-derive, toolchain:stable, target:i686-unknown-linux-gnu, features:)
1m 22s
Build & Test (crate:zerocopy, toolchain:stable, target:i686-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
1m 16s
Build & Test (crate:zerocopy, toolchain:stable, target:x86_64-unknown-linux-gnu, features:--no-default-features)
34s
Build & Test (crate:zerocopy, toolchain:stable, target:x86_64-unknown-linux-gnu, features:)
41s
Build & Test (crate:zerocopy-derive, toolchain:stable, target:x86_64-unknown-linux-gnu, features:)
48s
Build & Test (crate:zerocopy, toolchain:stable, target:x86_64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
1m 2s
Build & Test (crate:zerocopy, toolchain:stable, target:arm-unknown-linux-gnueabi, features:--no-default-features)
29s
Build & Test (crate:zerocopy, toolchain:stable, target:arm-unknown-linux-gnueabi, features:)
35s
Build & Test (crate:zerocopy-derive, toolchain:stable, target:arm-unknown-linux-gnueabi, features:)
32s
Build & Test (crate:zerocopy, toolchain:stable, target:arm-unknown-linux-gnueabi, features:--features __internal_use_only_features_that_work_on_stable)
32s
Build & Test (crate:zerocopy, toolchain:stable, target:aarch64-unknown-linux-gnu, features:--no-default-features)
24s
Build & Test (crate:zerocopy, toolchain:stable, target:aarch64-unknown-linux-gnu, features:)
32s
Build & Test (crate:zerocopy-derive, toolchain:stable, target:aarch64-unknown-linux-gnu, features:)
43s
Build & Test (crate:zerocopy, toolchain:stable, target:aarch64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
43s
Build & Test (crate:zerocopy, toolchain:stable, target:powerpc-unknown-linux-gnu, features:--no-default-features)
30s
Build & Test (crate:zerocopy, toolchain:stable, target:powerpc-unknown-linux-gnu, features:)
29s
Build & Test (crate:zerocopy-derive, toolchain:stable, target:powerpc-unknown-linux-gnu, features:)
26s
Build & Test (crate:zerocopy, toolchain:stable, target:powerpc-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
32s
Build & Test (crate:zerocopy, toolchain:stable, target:powerpc64-unknown-linux-gnu, features:--no-default-features)
24s
Build & Test (crate:zerocopy, toolchain:stable, target:powerpc64-unknown-linux-gnu, features:)
24s
Build & Test (crate:zerocopy-derive, toolchain:stable, target:powerpc64-unknown-linux-gnu, features:)
40s
Build & Test (crate:zerocopy, toolchain:stable, target:powerpc64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
42s
Build & Test (crate:zerocopy, toolchain:stable, target:riscv64gc-unknown-linux-gnu, features:--no-default-features)
24s
Build & Test (crate:zerocopy, toolchain:stable, target:riscv64gc-unknown-linux-gnu, features:)
24s
Build & Test (crate:zerocopy-derive, toolchain:stable, target:riscv64gc-unknown-linux-gnu, features:)
31s
Build & Test (crate:zerocopy, toolchain:stable, target:riscv64gc-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
32s
Build & Test (crate:zerocopy, toolchain:stable, target:s390x-unknown-linux-gnu, features:--no-default-features)
32s
Build & Test (crate:zerocopy, toolchain:stable, target:s390x-unknown-linux-gnu, features:)
28s
Build & Test (crate:zerocopy-derive, toolchain:stable, target:s390x-unknown-linux-gnu, features:)
48s
Build & Test (crate:zerocopy, toolchain:stable, target:s390x-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
45s
Build & Test (crate:zerocopy, toolchain:stable, target:wasm32-wasi, features:--no-default-features)
25s
Build & Test (crate:zerocopy, toolchain:stable, target:wasm32-wasi, features:)
24s
Build & Test (crate:zerocopy-derive, toolchain:stable, target:wasm32-wasi, features:)
30s
Build & Test (crate:zerocopy, toolchain:stable, target:wasm32-wasi, features:--features __internal_use_only_features_that_work_on_stable)
30s
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:--no-default-features)
2m 47s
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:)
4m 22s
Build & Test (crate:zerocopy-derive, toolchain:nightly, target:i686-unknown-linux-gnu, features:)
2m 23s
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
3m 24s
Build & Test (crate:zerocopy, toolchain:nightly, target:i686-unknown-linux-gnu, features:--all-features)
3m 36s
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:--no-default-features)
3m 21s
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:)
2m 32s
Build & Test (crate:zerocopy-derive, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:)
2m 26s
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
3m 40s
Build & Test (crate:zerocopy, toolchain:nightly, target:x86_64-unknown-linux-gnu, features:--all-features)
3m 57s
Build & Test (crate:zerocopy, toolchain:nightly, target:arm-unknown-linux-gnueabi, features:--no-default-features)
2m 13s
Build & Test (crate:zerocopy, toolchain:nightly, target:arm-unknown-linux-gnueabi, features:)
4m 27s
Build & Test (crate:zerocopy-derive, toolchain:nightly, target:arm-unknown-linux-gnueabi, features:)
1m 52s
Build & Test (crate:zerocopy, toolchain:nightly, target:arm-unknown-linux-gnueabi, features:--features __internal_use_only_features_that_work_on_stable)
3m 37s
Build & Test (crate:zerocopy, toolchain:nightly, target:arm-unknown-linux-gnueabi, features:--all-features)
2m 41s
Build & Test (crate:zerocopy, toolchain:nightly, target:aarch64-unknown-linux-gnu, features:--no-default-features)
2m 40s
Build & Test (crate:zerocopy, toolchain:nightly, target:aarch64-unknown-linux-gnu, features:)
3m 45s
Build & Test (crate:zerocopy-derive, toolchain:nightly, target:aarch64-unknown-linux-gnu, features:)
1m 47s
Build & Test (crate:zerocopy, toolchain:nightly, target:aarch64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
2m 33s
Build & Test (crate:zerocopy, toolchain:nightly, target:aarch64-unknown-linux-gnu, features:--all-features)
3m 58s
Build & Test (crate:zerocopy, toolchain:nightly, target:powerpc-unknown-linux-gnu, features:--no-default-features)
2m 57s
Build & Test (crate:zerocopy, toolchain:nightly, target:powerpc-unknown-linux-gnu, features:)
2m 23s
Build & Test (crate:zerocopy-derive, toolchain:nightly, target:powerpc-unknown-linux-gnu, features:)
2m 17s
Build & Test (crate:zerocopy, toolchain:nightly, target:powerpc-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
2m 38s
Build & Test (crate:zerocopy, toolchain:nightly, target:powerpc-unknown-linux-gnu, features:--all-features)
2m 52s
Build & Test (crate:zerocopy, toolchain:nightly, target:powerpc64-unknown-linux-gnu, features:--no-default-features)
2m 12s
Build & Test (crate:zerocopy, toolchain:nightly, target:powerpc64-unknown-linux-gnu, features:)
2m 26s
Build & Test (crate:zerocopy-derive, toolchain:nightly, target:powerpc64-unknown-linux-gnu, features:)
1m 59s
Build & Test (crate:zerocopy, toolchain:nightly, target:powerpc64-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
2m 33s
Build & Test (crate:zerocopy, toolchain:nightly, target:powerpc64-unknown-linux-gnu, features:--all-features)
2m 45s
Build & Test (crate:zerocopy, toolchain:nightly, target:riscv64gc-unknown-linux-gnu, features:--no-default-features)
31s
Build & Test (crate:zerocopy, toolchain:nightly, target:riscv64gc-unknown-linux-gnu, features:)
47s
Build & Test (crate:zerocopy-derive, toolchain:nightly, target:riscv64gc-unknown-linux-gnu, features:)
52s
Build & Test (crate:zerocopy, toolchain:nightly, target:riscv64gc-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
47s
Build & Test (crate:zerocopy, toolchain:nightly, target:riscv64gc-unknown-linux-gnu, features:--all-features)
55s
Build & Test (crate:zerocopy, toolchain:nightly, target:mips-unknown-linux-gnu, features:--no-default-features)
2m 10s
Build & Test (crate:zerocopy, toolchain:nightly, target:mips-unknown-linux-gnu, features:)
3m 31s
Build & Test (crate:zerocopy-derive, toolchain:nightly, target:mips-unknown-linux-gnu, features:)
2m 4s
Build & Test (crate:zerocopy, toolchain:nightly, target:mips-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
2m 36s
Build & Test (crate:zerocopy, toolchain:nightly, target:mips-unknown-linux-gnu, features:--all-features)
3m 20s
Build & Test (crate:zerocopy, toolchain:nightly, target:mips64-unknown-linux-gnuabi64, features:--no-default-features)
3m 12s
Build & Test (crate:zerocopy, toolchain:nightly, target:mips64-unknown-linux-gnuabi64, features:)
2m 56s
Build & Test (crate:zerocopy-derive, toolchain:nightly, target:mips64-unknown-linux-gnuabi64, features:)
1m 59s
Build & Test (crate:zerocopy, toolchain:nightly, target:mips64-unknown-linux-gnuabi64, features:--features __internal_use_only_features_that_work_on_stable)
3m 5s
Build & Test (crate:zerocopy, toolchain:nightly, target:mips64-unknown-linux-gnuabi64, features:--all-features)
2m 52s
Build & Test (crate:zerocopy, toolchain:nightly, target:s390x-unknown-linux-gnu, features:--no-default-features)
2m 9s
Build & Test (crate:zerocopy, toolchain:nightly, target:s390x-unknown-linux-gnu, features:)
2m 36s
Build & Test (crate:zerocopy-derive, toolchain:nightly, target:s390x-unknown-linux-gnu, features:)
1m 39s
Build & Test (crate:zerocopy, toolchain:nightly, target:s390x-unknown-linux-gnu, features:--features __internal_use_only_features_that_work_on_stable)
2m 39s
Build & Test (crate:zerocopy, toolchain:nightly, target:s390x-unknown-linux-gnu, features:--all-features)
3m 8s
Build & Test (crate:zerocopy, toolchain:nightly, target:wasm32-wasi, features:--no-default-features)
31s
Build & Test (crate:zerocopy, toolchain:nightly, target:wasm32-wasi, features:)
30s
Build & Test (crate:zerocopy-derive, toolchain:nightly, target:wasm32-wasi, features:)
59s
Build & Test (crate:zerocopy, toolchain:nightly, target:wasm32-wasi, features:--features __internal_use_only_features_that_work_on_stable)
42s
Build & Test (crate:zerocopy, toolchain:nightly, target:wasm32-wasi, features:--all-features)
59s
All checks succeeded
0s
3h 13m 13s