17786603911
91%
main: 91%

Ran 17 Sep 2025 04:25AM UTC

Jobs 1

Files 336

Run time 1min

Badge

Committed 17 Sep 2025 04:21AM UTC coverage: 91.176% (+0.008%) from 91.168%

Build Type

push

github

Committed by

Commit Message

Fix bug when using parameter in a width cast expression

Run Details

10446 of 13324 branches covered (78.4%)

Branch coverage included in aggregate %.

38275 of 40112 relevant lines covered (95.42%)

0.95 hits per line

ID	Job ID	Ran	Files	Coverage
1	17786603911.1	17 Sep 2025 04:25AM UTC	336	91.18	GitHub Action Run