5220
66%

Ran 27 Jul 2020 10:33AM UTC

Jobs 2

Files 577

Run time 15min

Badge

Build # 5220

Build Type

cron

travis-ci

Committed by

Commit Message

set JFlex encoding explicitly

fixes #3173

Run Details

40435 of 54628 relevant lines covered (74.02%)

1.38 hits per line

ID	Job ID	Ran	Files	Coverage
3	5220.3 ([secure])	27 Jul 2020 10:33AM UTC	577	74.02	Travis Job 5220.3
4	5220.4 ([secure])	27 Jul 2020 10:47AM UTC	577	64.23	Travis Job 5220.4