1
95%
master: 97%

Ran 14 Dec 2018 08:49AM UTC

Files 11

Run time 1s

Badge

Embed ▾

Committed 14 Dec 2018 08:43AM UTC coverage: 94.84%. First build

Job # 282.1

Build Type

push

travis-ci

Committed by

mlin

Commit Message

typecheck quantifiers in composite types

e.g. Array[Array[Int]] = [[:Int?:]]
Entailed pushing check_quant logic from Expr down into Type, and
consolidating OptionalCoercion and NonemptyArrayCoercion linters
into QuantityCoercion

Run Details

2040 of 2151 relevant lines covered (94.84%)

0.95 hits per line

chanzuckerberg / miniwdl / 282 / 1
95%
master: 97%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 282.1

chanzuckerberg / miniwdl / 282 / 1 95% master: 97%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 282.1

chanzuckerberg / miniwdl / 282 / 1
95%
master: 97%

README BADGES
x