Skip to content
Sui-Prover Test Action

Split asserts handling in 2. #854

Sign in to view logs

Split asserts handling in 2.

Split asserts handling in 2. #854

Triggered via pull request November 14, 2025 06:13
@andreistefanescuandreistefanescu
synchronize #343
split-asserts-ensures
Status Failure
Total duration 14m 42s
Artifacts 1

sui-prover.yml

on: pull_request
build-prover
3m 4s
build-prover
kit-specs
41s
kit-specs
internal-tests-prover
11m 33s
internal-tests-prover
internal-tests-stackless-bytecode
3m 32s
internal-tests-stackless-bytecode
integer-mate-specs
1m 42s
integer-mate-specs
token-distribution-specs
50s
token-distribution-specs
scallop-bpl-generation
36s
scallop-bpl-generation
cetus-bpl-generation
55s
cetus-bpl-generation
ika-bpl-generation
43s
ika-bpl-generation
Fit to window
Zoom out
Zoom in

Annotations

7 errors
ika-bpl-generation
Process completed with exit code 1.
token-distribution-specs
Process completed with exit code 1.
scallop-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.
kit-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-19356075720 Expired
28.4 MB
sha256:12b360466e5e5bbffa53a462b6b61323ecc9691ee64310642efa4b9b2f5a309c