Build & Tests

[hermes] Invoke Aeneas #9735

Sign in to view logs

Triggered via pull request February 12, 2026 22:54

joshlf

opened #3048

G4uato76xa2ezceilkolqtzoxhlxmxbg2

Status Failure

Total duration 9m 56s

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.