goblint / analyzer / 3953

Build # 3953

Build Type

Pull #1899

github

Committed by web-flow

Commit Message

Merge 4b03f96b4 into 50f3cfadb

Pull Request Pull Request #1899: Update CI runner images

Run Details

22579 of 34519 relevant lines covered (65.41%)

403951.56 hits per line

Source File

Press 'n' to go to next uncovered line, 'b' for previous

Source Not Available