Skip to content
Sui-Prover Test Action

Split asserts handling in 2. #863

Sign in to view logs

Split asserts handling in 2.

Split asserts handling in 2. #863

Triggered via pull request November 15, 2025 03:11
@andreistefanescuandreistefanescu
synchronize #343
split-asserts-ensures
Status Failure
Total duration 21m 56s
Artifacts 1

sui-prover.yml

on: pull_request
build-prover
2m 12s
build-prover
kit-specs
10m 20s
kit-specs
internal-tests-prover
16m 49s
internal-tests-prover
internal-tests-stackless-bytecode
3m 53s
internal-tests-stackless-bytecode
integer-mate-specs
9m 51s
integer-mate-specs
token-distribution-specs
10m 28s
token-distribution-specs
scallop-bpl-generation
4m 53s
scallop-bpl-generation
cetus-bpl-generation
8m 19s
cetus-bpl-generation
ika-bpl-generation
12m 46s
ika-bpl-generation
Fit to window
Zoom out
Zoom in

Annotations

6 errors
token-distribution-specs
Process completed with exit code 1.
internal-tests-prover
Process completed with exit code 101.
kit-specs
Canceling since a higher priority waiting request for kit-specs-split-asserts-ensures exists
kit-specs
The operation was canceled.
integer-mate-specs
Canceling since a higher priority waiting request for integer-mate-specs-split-asserts-ensures exists
integer-mate-specs
The operation was canceled.

Artifacts

Produced during runtime
Name Size Digest
sui-prover-19383530787 Expired
28.4 MB
sha256:6977122de20124ed649b82adb452275f7cbaf7e9bfd6dd2fc3d32f34f1d09d27