Skip to content

fix: added quantifiers to deterministic whitelist #830

fix: added quantifiers to deterministic whitelist

fix: added quantifiers to deterministic whitelist #830

Triggered via pull request November 12, 2025 14:49
Status Success
Total duration 28m 46s
Artifacts 1

sui-prover.yml

on: pull_request
kit-specs
39s
kit-specs
internal-tests
17m 50s
internal-tests
integer-mate-specs
49s
integer-mate-specs
token-distribution-specs
30s
token-distribution-specs
scallop-bpl-generation
4m 37s
scallop-bpl-generation
cetus-bpl-generation
7m 30s
cetus-bpl-generation
ika-bpl-generation
10m 43s
ika-bpl-generation
Fit to window
Zoom out
Zoom in

Annotations

1 warning
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-19301479724 Expired
28.4 MB
sha256:aa8a6d82fb8f252c7fad493f27d4c6f4c4e45dd50adc458bf5d9cced79476502