31191998847
84%
main: 84%

Ran 07 Aug 2026 03:29PM UTC

Jobs 1

Files 175

Run time 1min

Badge

Committed 07 Aug 2026 03:18PM UTC coverage: 84.034% (+0.03%) from 84.009%

Build Type

github

Committed by

Commit Message

Merge remote-tracking branch 'origin/main' into fix/tighten-commitment-bigm

# Conflicts:
#	documentation/changelog.rst

Coverage Stats

21 of 21 new or added lines in 1 file covered. (100.0%)

17232 of 20506 relevant lines covered (84.03%)

0.84 hits per line

ID	Job ID	Ran	Files	Coverage
1	31191998847.1	07 Aug 2026 03:29PM UTC	175	84.03	GitHub Action Run