4055

Committed 13 Jan 2026 10:02AM UTC coverage: 65.45% (+0.003%) from 65.447%

Build # 4055

Build Type

push

github

Committed by

Commit Message

Expand tilde to $HOME in bash-completion

See https://stackoverflow.com/a/27485157.

Run Details

22615 of 34553 relevant lines covered (65.45%)

404427.4 hits per line

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

81.48

/src/analyses/base.ml