Skip to content
Build & Tests

[anneal] Define Rust-level verification evidence #14956

Sign in to view logs

[anneal] Define Rust-level verification evidence

[anneal] Define Rust-level verification evidence #14956

Triggered via pull request September 18, 2026 00:56
@joshlfjoshlf
opened #3702
anneal-rust-verification
Status Success
Total duration 5m 36s
Artifacts 2

ci.yml

on: pull_request
Build Docker image
1m 2s
Build Docker image
Run codegen tests
1m 45s
Run codegen tests
Generate code coverage
2m 0s
Generate code coverage
Run tests under Kani
2m 36s
Run tests under Kani
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
32s
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
Build (zerocopy / nightly / --simd / avr-none)
39s
Build (zerocopy / nightly / --simd / avr-none)
Check Rust formatting
24s
Check Rust formatting
Check stale stderr files
6s
Check stale stderr files
Check GitHub Actions
49s
Check GitHub Actions
Check README.md
28s
Check README.md
Check crate versions match
11s
Check crate versions match
Check MSRV is minimal
6s
Check MSRV is minimal
Check that all toolchains listed in Cargo.toml are tested in CI
47s
Check that all toolchains listed in Cargo.toml are tested in CI
Check all-jobs-succeeded depends on all jobs
51s
Check all-jobs-succeeded depends on all jobs
Check for todo comments
16s
Check for todo comments
Run Git hooks
2m 9s
Run Git hooks
zizmor
16s
zizmor
Matrix: build_test
Matrix: miri
All checks succeeded (ci.yml)
3s
All checks succeeded (ci.yml)
Fit to window
Zoom out
Zoom in

Annotations

84 notices
Check MSRV is minimal
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Check stale stderr files
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Check crate versions match
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
zizmor
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Check for todo comments
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Check Rust formatting
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Check README.md
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build (zerocopy / nightly / --simd / avr-none)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Check that all toolchains listed in Cargo.toml are tested in CI
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Check GitHub Actions
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Check all-jobs-succeeded depends on all jobs
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build Docker image
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Run codegen tests
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Generate code coverage
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Run Git hooks
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Run tests under Kani
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / stable / default / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / stable / default / x86_64-pc-windows-msvc)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / nightly / default / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-core-error-1-81-0 / default / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / msrv / default / x86_64-pc-windows-msvc)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / default / x86_64-pc-windows-msvc)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / nightly / all / x86_64-pc-windows-msvc)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / stable / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / msrv / default / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / default / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-diagnostic-on-unimplemented-1-78-0 / stable / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / stable / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy-derive / stable / default / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-slice-ptr-len-1-79-0 / stable / x86_64-pc-windows-msvc)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / default / x86_64-pc-windows-msvc)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-core-error-1-81-0 / stable / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / stable / x86_64-pc-windows-msvc)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / nightly / default / x86_64-pc-windows-msvc)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy-derive / stable / default / x86_64-pc-windows-msvc)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / stable / default / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / msrv / default / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy-derive / nightly / default / x86_64-pc-windows-msvc)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-slice-ptr-len-1-79-0 / default / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / msrv / stable / x86_64-pc-windows-msvc)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / stable / x86_64-pc-windows-msvc)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / default / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy-derive / msrv / default / x86_64-pc-windows-msvc)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / stable / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-diagnostic-on-unimplemented-1-78-0 / default / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy-derive / nightly / default / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-slice-ptr-len-1-79-0 / stable / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-slice-ptr-len-1-79-0 / default / x86_64-pc-windows-msvc)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-generic-bounds-in-const-fn-1-61-0 / stable / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-generic-bounds-in-const-fn-1-61-0 / default / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-diagnostic-on-unimplemented-1-78-0 / default / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / nightly / all / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / default / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / nightly / default / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / default / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / nightly / stable / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy-derive / msrv / default / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy-derive / stable / default / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-core-error-1-81-0 / stable / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-slice-ptr-len-1-79-0 / default / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-core-error-1-81-0 / default / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / stable / x86_64-pc-windows-msvc)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-diagnostic-on-unimplemented-1-78-0 / stable / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-generic-bounds-in-const-fn-1-61-0 / default / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / msrv / stable / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / nightly / stable / x86_64-pc-windows-msvc)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / default / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-generic-bounds-in-const-fn-1-61-0 / stable / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-slice-ptr-len-1-79-0 / stable / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / nightly / stable / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / stable / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / stable / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / msrv / stable / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / stable / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / nightly / all / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / stable / stable / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / default / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / default / x86_64-pc-windows-msvc)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / stable / stable / x86_64-pc-windows-msvc)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy / stable / stable / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy-derive / nightly / default / x86_64-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Build & Test (zerocopy-derive / msrv / default / i686-unknown-linux-gnu)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
All checks succeeded (ci.yml)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

Artifacts

Produced during runtime
Name Size Digest
google~zerocopy~UEAC8H.dockerbuild
41.3 KB
sha256:678dd66636a9d024e821f374099a3c9085fa4a463c1d7d46ec287d908273c0bd
zerocopy-ci.tar
1.19 GB
sha256:711bc3e5be82587e1d71bf2528fa4612e3aba9442772a176d670420fc69123dd