feat: added ci option #798
andrii-a8csui-prover.yml
on: pull_request
build-prover
3m 31s
kit-specs
1m 52s
internal-tests
18m 8s
integer-mate-specs
7m 26s
token-distribution-specs
6m 10s
scallop-bpl-generation
4m 17s
cetus-bpl-generation
4m 33s
Annotations
1 error
|
integer-mate-specs
Process completed with exit code 1.
|