55
100%

Ran 22 Oct 2017 08:03PM UTC

Jobs 4

Files 3

Run time 8min

Badge

Build # 55

Build Type

push

travis-ci

Committed by

Commit Message

updated docs with Tamari poset

Run Details

519 of 519 relevant lines covered (100.0%)

82963.25 hits per line

ID	Job ID	Ran	Coverage
1	55.1	22 Oct 2017 08:03PM UTC	100.0	Travis Job 55.1
2	55.2	22 Oct 2017 08:07PM UTC	100.0	Travis Job 55.2
3	55.3	22 Oct 2017 08:06PM UTC	100.0	Travis Job 55.3
4	55.4	22 Oct 2017 08:12PM UTC	100.0	Travis Job 55.4

Detailed source file information is not available for this build.