Skip to content

[hermes] More aggressively test hidden item rejection #9734

[hermes] More aggressively test hidden item rejection

[hermes] More aggressively test hidden item rejection #9734

Triggered via pull request February 12, 2026 22:54
Status Failure
Total duration 10m 3s
Artifacts

ci.yml

on: pull_request
Run tests under Kani
9m 17s
Run tests under Kani
Check that all toolchains listed in Cargo.toml are tested in CI
39s
Check that all toolchains listed in Cargo.toml are tested in CI
Check all-jobs-succeeded depends on all jobs
39s
Check all-jobs-succeeded depends on all jobs
Check for todo comments
16s
Check for todo comments
Run Git hooks
2m 6s
Run Git hooks
zizmor
13s
zizmor
Matrix: build_test
Generate code coverage
2m 20s
Generate code coverage
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
1m 15s
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
Build (zerocopy / nightly / --simd / avr-none)
1m 1s
Build (zerocopy / nightly / --simd / avr-none)
Check Rust formatting
37s
Check Rust formatting
Check stale stderr files
15s
Check stale stderr files
Check GitHub Actions
18s
Check GitHub Actions
Check README.md
24s
Check README.md
Check crate versions match
20s
Check crate versions match
Check MSRV is minimal
16s
Check MSRV is minimal
All checks succeeded
3s
All checks succeeded
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Run Git hooks
Process completed with exit code 123.
Check Rust formatting
Process completed with exit code 123.
All checks succeeded
Process completed with exit code 1.