Skip to content

Merge pull request #2 from asymptotic-code/ci #5

Merge pull request #2 from asymptotic-code/ci

Merge pull request #2 from asymptotic-code/ci #5

Triggered via push June 18, 2025 19:29
Status Cancelled
Total duration 4m 45s
Artifacts

prover.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build-and-run
The operation was canceled.
build-and-run
Canceling since a higher priority waiting request for main exists