Skip to content
Build & Tests

[anneal][v2] Add charon execution engine, generate command CLI, and integration tests #11865

Sign in to view logs

[anneal][v2] Add charon execution engine, generate command CLI, and integration tests

[anneal][v2] Add charon execution engine, generate command CLI, and integration tests #11865

Triggered via pull request June 30, 2026 19:23
@mdittmermdittmer
synchronize #3404
Gnafivbpqcaatsvsxamgsjcudchscvaae
Status Cancelled
Total duration 3s
Artifacts –

ci.yml

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

Annotations

19 errors
Generate code coverage
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3404/merge exists
Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3404/merge exists
Build (zerocopy / nightly / --simd / avr-none)
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3404/merge exists
Run codegen tests
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3404/merge exists
Check stale stderr files
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3404/merge exists
Check auto-approvers setup
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3404/merge exists
Check all-jobs-succeeded depends on all jobs
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3404/merge exists
Run tests under Kani
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3404/merge exists
Build Docker image
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3404/merge exists
zizmor
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3404/merge exists
Check Rust formatting
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3404/merge exists
Run Git hooks
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3404/merge exists
Check GitHub Actions
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3404/merge exists
Check README.md
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3404/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/3404/merge exists
Check MSRV is minimal
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3404/merge exists
Check for todo comments
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3404/merge exists
Build & Tests
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3404/merge exists
Check crate versions match
Canceling since a higher priority waiting request for Build & Tests-refs/pull/3404/merge exists