44
57%

Ran 18 Apr 2019 01:07PM UTC

Jobs 2

Files 3

Run time 4min

Badge

Build # 44

Build Type

push

travis-ci-com

Committed by

Commit Message

change flint_dir to [Nemo.jl]/deps/usr

Run Details

231 of 244 relevant lines covered (94.67%)

53.4 hits per line

ID	Job ID	Ran	Files	Coverage
1	44.1	18 Apr 2019 01:07PM UTC	3	94.67	Travis Job 44.1
2	44.2	18 Apr 2019 01:12PM UTC	3	94.67	Travis Job 44.2