Merge pull request #8 from BCWResearch/automated-test #11
jerigon.yml
on: push
Test proof generation with jerigon input
0s
Annotations
1 error
Test proof generation with jerigon input
The run was canceled by @patrick-bcw.
|