Merge pull request #3 from BCWResearch/june26 #2
jerigon.yml
on: push
Test proof generation with jerigon input
0s
Annotations
1 error
Test proof generation with jerigon input
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
|