Skip to content
Golden testing

feat: Rounding Proof: Galois Connection [3/?] #336

Sign in to view logs

feat: Rounding Proof: Galois Connection [3/?]

feat: Rounding Proof: Galois Connection [3/?] #336

Triggered via pull request March 4, 2026 16:17
@bollubollu
synchronize #49
proof-round-3-of-x
Status Failure
Total duration 1m 29s
Artifacts –

golden.yml

on: pull_request
Golden testing against FloatX + SymFPU
1m 25s
Golden testing against FloatX + SymFPU
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Golden testing against FloatX + SymFPU
Process completed with exit code 1.
Golden testing against FloatX + SymFPU
lake build failed