3334726552
89%
master: 93%

Ran 27 Oct 2022 05:31AM UTC

Jobs 1

Files 57

Run time 1s

Badge

Build Type

push

github

Committed by Lukas Gaechter

Commit Message

Remove unused Term::get_term_from_query() function

Run Details

3061 of 3448 relevant lines covered (88.78%)

39.85 hits per line

ID	Job ID	Ran	Files	Coverage
1	3334726552.1	27 Oct 2022 05:31AM UTC	57	88.78	GitHub Action Run