Skip to content
Jerigon Integration

chore: reorganize cli params and rename some types #414

Sign in to view logs

chore: reorganize cli params and rename some types

chore: reorganize cli params and rename some types #414

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

jerigon.yml

on: pull_request
Test proof generation with jerigon input
37s
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/