35674985842
93%

Ran 22 Sep 2026 01:14AM UTC

Jobs 1

Files 33

Run time 1min

Badge

Committed 22 Sep 2026 01:13AM UTC coverage: 90.422%. Remained the same

Build Type

push

github

Committed by

Commit Message

Relative tolerances in debug verification, document postsolve sign convention (#68)

Coverage Stats

3 of 3 new or added lines in 2 files covered. (100.0%)

4522 of 5001 relevant lines covered (90.42%)

5450.56 hits per line

ID	Job ID	Ran	Files	Coverage
1	35674985842.1	22 Sep 2026 01:14AM UTC	33	90.42	GitHub Action Run