Skip to content
Codecov

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

Sign in to view logs

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

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

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

codecov.yml

on: pull_request
Code Coverage
42s
Code Coverage
Fit to window
Zoom out
Zoom in

Annotations

2 notices
Code Coverage
Test results generated successfully.
Code Coverage
Coverage report generated successfully: 17129 lines

Artifacts

Produced during runtime
Name Size Digest
coverage-report
42.4 KB
sha256:6d012e46c00fefeda91460aa19170c9155355a195719428c834ad53776da5869
test-results
7.74 KB
sha256:7a17e4ace3afc5d3c2a9bd9ac934d7b856e787fc32c8fe1ba932f44e274b7f83