Skip to content

chore: reorganize cli params and rename some types #418

chore: reorganize cli params and rename some types

chore: reorganize cli params and rename some types #418

Triggered via pull request August 13, 2024 16:00
Status Failure
Total duration 40m 42s
Billable time 41m
Artifacts

jerigon.yml

on: pull_request
Test proof generation with jerigon input
40m 27s
Test proof generation with jerigon input
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Test proof generation with jerigon input
The job running on runner zero-ci_4d9e3886f881 has exceeded the maximum execution time of 40 minutes.
Test proof generation with jerigon input
The operation was canceled.