Build & Tests

[hermes] Add Charon step #9689

Sign in to view logs

Triggered via pull request February 10, 2026 23:19

joshlf

synchronize #3014

Ge1bd84b5d857e18e3668e809844c6d73b808a020

Status Failure

Total duration 9m 8s

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

Check Rust formatting

Process completed with exit code 123.

Run Git hooks

Process completed with exit code 123.

All checks succeeded

Process completed with exit code 1.