Skip to content
CI

Fix: ProductZipper crashes #58

Sign in to view logs

Fix: ProductZipper crashes

Fix: ProductZipper crashes #58

Triggered via pull request September 23, 2026 14:34
@imlvtsimlvts
synchronize #135
imlvts:fix/product-zipper-factor-bookkeeping-root
Status Cancelled
Total duration 8m 30s
Artifacts 2

ci.yml

on: pull_request
tests
45s
tests
Lean model, proofs and checks
10s
Lean model, proofs and checks
differential fuzz vs Lean model
24s
differential fuzz vs Lean model
bench A/B vs base
4m 53s
bench A/B vs base
Fit to window
Zoom out
Zoom in

Annotations

2 errors
CI
Canceling since a higher priority waiting request for ci-135 exists
bench A/B vs base
Canceling since a higher priority waiting request for ci-135 exists

Artifacts

Produced during runtime
Name Size Digest
bench-out
99.4 KB
sha256:97e4dad3a8d58aa40a1e931afebec89ec32adbcaa20ca062a30b597aadf622b7
fuzz-out
2.2 KB
sha256:dd99d606ff46f38b23defa95b92921d3ff10adc3f55fb3c1533d00dd3f1a129d