Skip to content
Unit Tests

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

Sign in to view logs

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

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

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

unit-tests.yml

on: pull_request
SMT-LIB Relation Tests
1m 28s
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