Skip to content
Jerigon Integration

chore: reorganize cli params and rename some types #415

Sign in to view logs

chore: reorganize cli params and rename some types

chore: reorganize cli params and rename some types #415

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

jerigon.yml

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