Skip to content
Prover

feat: euclid prover and coordinator #1258

Sign in to view logs

feat: euclid prover and coordinator

feat: euclid prover and coordinator #1258

Triggered via pull request February 7, 2025 17:18
@omerfirmakomerfirmak
synchronize #1597
omerfirmak/euclid-prover
Status Cancelled
Total duration 1m 1s
Artifacts –

prover.yml

on: pull_request
skip_check
6s
skip_check
fmt
37s
fmt
clippy
0s
clippy
compile
0s
compile
Fit to window
Zoom out
Zoom in

Annotations

2 errors
fmt
The run was canceled by @github-actions[bot].
fmt
The operation was canceled.