Skip to content

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

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

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

Triggered via pull request May 25, 2026 22:48
Status Cancelled
Total duration 2s
Artifacts

anneal.yml

on: pull_request
Build Docker image
1s
Build Docker image
Warm Nix Cache for V2
0s
Warm Nix Cache for V2
Matrix: verify_examples
Measure Docker image size
0s
Measure Docker image size
Anneal Tests
0s
Anneal Tests
Run V2 tests
0s
Run V2 tests
All checks succeeded (anneal.yml)
0s
All checks succeeded (anneal.yml)
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build Docker image
Canceling since a higher priority waiting request for Anneal Tests-refs/pull/3404/merge exists
Anneal Tests
Canceling since a higher priority waiting request for Anneal Tests-refs/pull/3404/merge exists