Skip to content
Jerigon Integration

chore: reorganize cli params and rename some types #416

Sign in to view logs

chore: reorganize cli params and rename some types

chore: reorganize cli params and rename some types #416

Triggered via pull request August 12, 2024 11:58
@atanmarkoatanmarko
synchronize #485
chore/cleanup-ci
Status Failure
Total duration 1m 27s
Billable time 1m
Artifacts –

jerigon.yml

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

Annotations

1 error and 1 warning
Test proof generation with jerigon input
Process completed with exit code 127.
Test proof generation with jerigon input
The following actions uses Node.js version which is deprecated and will be forced to run on node20: docker/login-action@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/