11510547359
84%
master: 84%

Ran 25 Oct 2024 02:40AM UTC

Jobs 1

Files 152

Run time 7s

Badge

Build Type

github

Committed by

Commit Message

Merge pull request #3081 from PrincetonUniversity/condition-names

Condition usability improvements

Run Details

9268 of 12302 branches covered (75.34%)

Branch coverage included in aggregate %.

32176 of 37225 relevant lines covered (86.44%)

0.86 hits per line

ID	Job ID	Ran	Files	Coverage
1	11510547359.1	25 Oct 2024 02:40AM UTC	152	83.68	GitHub Action Run