Skip to content
Prover

feat: euclid prover and coordinator #1264

Sign in to view logs

feat: euclid prover and coordinator

feat: euclid prover and coordinator #1264

Triggered via pull request February 8, 2025 11:17
@noel2004noel2004
synchronize #1597
omerfirmak/euclid-prover
Status Success
Total duration 3m 35s
Artifacts –

prover.yml

on: pull_request
skip_check
5s
skip_check
fmt
42s
fmt
clippy
39s
clippy
compile
1m 38s
compile
Fit to window
Zoom out
Zoom in