5089
67%

Ran 17 Oct 2026 01:57AM UTC

Jobs 1

Files 329

Run time 1min

Badge

Committed 16 Oct 2026 02:07PM UTC coverage: 65.714% (+0.002%) from 65.712%

Build # 5089

Build Type

push

github

Committed by

Commit Message

Fix bug in affine equalities `join` (#2199)

* indicator unit test

* fix the one-sided pivot cases, and extensively document the steps

Coverage Stats

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

57 existing lines in 3 files now uncovered.

23143 of 35218 relevant lines covered (65.71%)

395586.62 hits per line

Lines	Coverage	∆	File
39	77.74	0.29%	src/witness/yamlWitness.ml
16	89.41	0.08%	src/cdomains/affineEquality/sparseImplementation/listMatrix.ml
2	67.87	-0.66%	src/affineEqualityDomain.ml

ID	Job ID	Ran	Files	Coverage
1	5089.1	17 Oct 2026 01:57AM UTC	329	65.71	GitHub Action Run