Skip to content
Benchmarks

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

Sign in to view logs

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

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

Triggered via pull request July 11, 2026 16:25
@acgetchellacgetchell
synchronize #178
refactor/exact-invariant-proofs
Status Success
Total duration 14m 35s
Artifacts –

benchmarks.yml

on: pull_request
bench
14m 33s
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