Skip to content
Unit Tests

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

Sign in to view logs

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

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

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

unit-tests.yml

on: pull_request
SMT-LIB Relation Tests
1m 16s
SMT-LIB Relation Tests
Fit to window
Zoom out
Zoom in

Annotations

2 errors
SMT-LIB Relation Tests
Process completed with exit code 1.
SMT-LIB Relation Tests
lake build failed