Skip to content
Benchmarks

feat(api)!: make numerical invariants and errors explicit #89

Sign in to view logs

feat(api)!: make numerical invariants and errors explicit

feat(api)!: make numerical invariants and errors explicit #89

Triggered via pull request July 11, 2026 13:58
@acgetchellacgetchell
synchronize #178
refactor/exact-invariant-proofs
Status Success
Total duration 15m 20s
Artifacts –

benchmarks.yml

on: pull_request
bench
15m 16s
bench
Fit to window
Zoom out
Zoom in

Annotations

1 warning and 1 notice
bench
Benchmark comparison unavailable
bench
No baseline found — running without comparison