40914443158
93%

Ran 29 Oct 2026 04:44PM UTC

Jobs 1

Files 59

Run time 1min

Badge

Committed 29 Oct 2026 04:43PM UTC coverage: 93.271% (+0.2%) from 93.082%

Build Type

push

github

Committed by

Commit Message

Delete zero cone tails and blocks that become bounds (#117)

Coverage Stats

90 of 90 new or added lines in 5 files covered. (100.0%)

6723 of 7208 relevant lines covered (93.27%)

958256.48 hits per line

ID	Job ID	Ran	Files	Coverage
1	40914443158.1	29 Oct 2026 04:44PM UTC	59	93.27	GitHub Action Run