3123
65%

Ran 13 Apr 2025 04:14AM 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 # 3123

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.49 hits per line

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

ID	Job ID	Ran	Files	Coverage
1	3123.1	13 Apr 2025 04:14AM UTC	289	61.82	GitHub Action Run