Log file with spec calls tree if --verbose is used #793
andrii-a8csui-prover.yml
on: pull_request
build-prover
3m 9s
kit-specs
1m 58s
internal-tests
11m 56s
integer-mate-specs
6m 37s
token-distribution-specs
4m 7s
scallop-bpl-generation
3m 0s
cetus-bpl-generation
5m 8s
Annotations
1 error
|
integer-mate-specs
Process completed with exit code 1.
|