Build & Tests

[hermes] Add some tests for Charon invocation #9601

Sign in to view logs

Triggered via pull request February 8, 2026 04:17

joshlf

synchronize #3015

G60bb1cd41a5fade3144a05f2bdafb2a670059e03

Status Failure

Total duration 9m 17s

Artifacts –

ci.yml

on: pull_request

Run tests under Kani

Check that all toolchains listed in Cargo.toml are tested in CI

Check all-jobs-succeeded depends on all jobs

Check for todo comments

Matrix: build_test

Generate code coverage

Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)

Build (zerocopy / nightly / --simd / avr-none)

Check Rust formatting

Check stale stderr files

Check GitHub Actions

Check README.md

Check crate versions match

Check MSRV is minimal

All checks succeeded

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.