3649
65%

Ran 28 Sep 2025 03:06AM UTC

Jobs 1

Files 297

Run time 1min

Badge

Committed 27 Sep 2025 08:34AM UTC coverage: 61.652% (+0.007%) from 61.645%

Build # 3649

Build Type

push

github

Committed by

Commit Message

Merge pull request #1821 from goblint/issue-1782

Check cast safety in base `invariant_fallback`

Run Details

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

21058 of 34156 relevant lines covered (61.65%)

404009.22 hits per line

ID	Job ID	Ran	Files	Coverage
1	3649.1	28 Sep 2025 03:06AM UTC	297	61.65	GitHub Action Run