goblint / analyzer / 3460

Build # 3460

Build Type

push

github

Committed by sim642

Commit Message

Remove opam depext from unlocked CI

It's built into opam install since opam 2.1.

Run Details

20891 of 33928 relevant lines covered (61.57%)

407146.49 hits per line

Source File

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

Source Not Available