Skip to content
test

feat: use remote batch prover #1806

Sign in to view logs

feat: use remote batch prover

feat: use remote batch prover #1806

Triggered via pull request February 26, 2025 23:16
@SantiagoPittellaSantiagoPittella
synchronize #701
santiagopittella-use-remote-batch-prover
Status Success
Total duration 3m 14s
Artifacts –

test.yml

on: pull_request
test
3m 0s
test
Fit to window
Zoom out
Zoom in