Build & Tests

[anneal][v2] Add charon execution engine, expand command CLI, and integration tests #11566

Sign in to view logs

Triggered via pull request June 7, 2026 01:57

joshlf

synchronize #3404

Gnafivbpqcaatsvsxamgsjcudchscvaae

Status Cancelled

Total duration 1s

Artifacts –

ci.yml

on: pull_request

Build Docker image

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

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

Check GitHub Actions

Check MSRV is minimal

Check README.md

Check Rust formatting

Check all-jobs-succeeded depends on all jobs

Check auto-approvers setup

Check crate versions match

Check for todo comments

Check stale stderr files

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

Generate code coverage

Run codegen tests

Run tests under Kani

Matrix: build_test

Waiting for pending jobs

All checks succeeded (ci.yml)

Annotations

1 error

Build & Tests

Canceling since a higher priority waiting request for Build & Tests-refs/pull/3404/merge exists