38993550505
93%

Ran 17 Oct 2026 02:06AM UTC

Jobs 1

Files 52

Run time 1min

Badge

Committed 17 Oct 2026 02:05AM UTC coverage: 90.86% (+0.03%) from 90.828%

Build Type

push

github

Committed by

Commit Message

Relative tolerance in the infeasibility checks (#92)

Coverage Stats

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

5676 of 6247 relevant lines covered (90.86%)

88583.64 hits per line

ID	Job ID	Ran	Files	Coverage
1	38993550505.1	17 Oct 2026 02:06AM UTC	52	90.86	GitHub Action Run