517
68%

Ran 25 Oct 2018 11:47AM UTC

Jobs 3

Files 30

Run time 7min

Badge

Committed 25 Oct 2018 11:45AM UTC coverage: 72.024% (-3.1%) from 75.14%

Build # 517

Build Type

push

travis-ci

Committed by

Commit Message

Fix lexing of "!$".

See issues
    * https://github.com/google/jsonnet/issues/503
    * https://github.com/google/jsonnet/issues/572

Run Details

4822 of 6695 relevant lines covered (72.02%)

5589.65 hits per line

ID	Job ID	Ran	Files	Coverage
1	517.1	25 Oct 2018 11:47AM UTC	21	75.14	Travis Job 517.1
2	517.2	25 Oct 2018 11:52AM UTC	30	72.02	Travis Job 517.2
3	517.3	25 Oct 2018 11:54AM UTC	21	75.14	Travis Job 517.3