Skip to content
Sui-Prover Test Action

Spec Scope Changes #866

Sign in to view logs

Spec Scope Changes

Spec Scope Changes #866

Triggered via pull request November 17, 2025 10:50
@andrii-a8candrii-a8c
synchronize #348
explicit-specs
Status Failure
Total duration 21m 29s
Artifacts 1

sui-prover.yml

on: pull_request
build-prover
4m 38s
build-prover
kit-specs
31s
kit-specs
internal-tests-prover
16m 42s
internal-tests-prover
internal-tests-stackless-bytecode
3m 49s
internal-tests-stackless-bytecode
integer-mate-specs
35s
integer-mate-specs
token-distribution-specs
25s
token-distribution-specs
scallop-bpl-generation
1m 1s
scallop-bpl-generation
cetus-bpl-generation
1m 19s
cetus-bpl-generation
ika-bpl-generation
31s
ika-bpl-generation
Fit to window
Zoom out
Zoom in

Annotations

7 errors
kit-specs
Process completed with exit code 1.
scallop-bpl-generation
Process completed with exit code 1.
ika-bpl-generation
Process completed with exit code 1.
integer-mate-specs
Process completed with exit code 1.
cetus-bpl-generation
Process completed with exit code 1.
token-distribution-specs
Process completed with exit code 1.
internal-tests-prover
Process completed with exit code 101.

Artifacts

Produced during runtime
Name Size Digest
sui-prover-19427011654 Expired
28.4 MB
sha256:7d7b6e0dd70dbae16f64c505c41d84ec552a37cde2be1917488e8f2b64785744