12519385945
99%

Ran 27 Dec 2024 06:40PM UTC

Jobs 1

Files 45

Run time 1min

Badge

Committed 27 Dec 2024 06:26PM UTC coverage: 98.68%. Remained the same

Build Type

push

github

Committed by

Commit Message

Fix a bug where `condp` could throw an exception in some cases (#1195)

Fixes #1194

Run Details

1031 of 1040 branches covered (99.13%)

Branch coverage included in aggregate %.

8837 of 8960 relevant lines covered (98.63%)

0.99 hits per line

ID	Job ID	Ran	Files	Coverage
1	12519385945.1	27 Dec 2024 06:40PM UTC	45	98.68	GitHub Action Run