3124
65%

Ran 14 Apr 2025 03:08AM UTC

Jobs 1

Files 289

Run time 1min

Badge

Committed 10 Apr 2025 08:21AM UTC coverage: 61.824% (+0.01%) from 61.811%

Build # 3124

Build Type

push

github

Committed by

Commit Message

Merge pull request #1483 from RonaldJudin/delay-widening

Implement delayed widening

Run Details

52 of 77 new or added lines in 2 files covered. (67.53%)

20847 of 33720 relevant lines covered (61.82%)

408990.5 hits per line

Lines	Coverage	∆	File
25	66.67		src/lifters/wideningDelay.ml

ID	Job ID	Ran	Files	Coverage
1	3124.1	14 Apr 2025 03:08AM UTC	289	61.82	GitHub Action Run