Skip to content
Build & Tests

[hermes] Add some tests for Charon invocation #9678

Sign in to view logs

[hermes] Add some tests for Charon invocation

[hermes] Add some tests for Charon invocation #9678

Triggered via pull request February 10, 2026 23:19
@joshlfjoshlf
synchronize #3015
G60bb1cd41a5fade3144a05f2bdafb2a670059e03
Status Cancelled
Total duration 24s
Artifacts –

ci.yml

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

Annotations

15 errors
zizmor
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
zizmor
The operation was canceled.
Generate cache
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
Generate cache
The operation was canceled.
Run tests under Kani
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
Run tests under Kani
The operation was canceled.
Check for todo comments
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
Check for todo comments
The operation was canceled.
Run Git hooks
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
Run Git hooks
The operation was canceled.
Check all-jobs-succeeded depends on all jobs
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
Check all-jobs-succeeded depends on all jobs
The operation was canceled.
Build & Tests
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
Check that all toolchains listed in Cargo.toml are tested in CI
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3015/merge exists
Check that all toolchains listed in Cargo.toml are tested in CI
The operation was canceled.