Spec Scope Changes #860
sui-prover.yml
on: pull_request
build-prover
11m 9s
kit-specs
30s
internal-tests-prover
14m 53s
internal-tests-stackless-bytecode
3m 9s
integer-mate-specs
49s
token-distribution-specs
26s
scallop-bpl-generation
1m 12s
cetus-bpl-generation
1m 35s
ika-bpl-generation
35s
Annotations
7 errors and 1 warning
|
scallop-bpl-generation
Process completed with exit code 1.
|
|
cetus-bpl-generation
Process completed with exit code 1.
|
|
integer-mate-specs
Process completed with exit code 1.
|
|
kit-specs
Process completed with exit code 1.
|
|
token-distribution-specs
Process completed with exit code 1.
|
|
ika-bpl-generation
Process completed with exit code 1.
|
|
internal-tests-prover
Process completed with exit code 101.
|
|
build-prover
Cache not found for keys: v0-rust-sui-prover-Darwin-arm64-cb1b2ab3-bdc8d059, v0-rust-sui-prover-Darwin-arm64-cb1b2ab3
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
sui-prover-19373534200
Expired
|
28.4 MB |
sha256:917a97f53f1bb228010d0e97aa225ea8ec2a591673486c7da94e7c80bbcad53e
|
|