1187
100%

Ran 04 Jun 2018 06:52PM UTC

Jobs 3

Files 288

Run time 15min

Badge

Build # 1187

Build Type

push

travis-ci

Committed by

Commit Message

Add construction section for all Monoids (#276)

* add construction section for all Monoids

* initial PR feedback

Run Details

1354 of 1354 branches covered (100.0%)

2874 of 2874 relevant lines covered (100.0%)

356.21 hits per line

ID	Job ID	Ran	Files	Coverage
1	1187.1	04 Jun 2018 06:52PM UTC	248	100.0	Travis Job 1187.1
2	1187.2	04 Jun 2018 06:52PM UTC	248	100.0	Travis Job 1187.2
3	1187.3	04 Jun 2018 06:56PM UTC	248	100.0	Travis Job 1187.3