1
95%
master: 97%

Ran 14 Dec 2018 08:50AM UTC

Files 11

Run time 0s

Badge

Embed ▾

Committed 14 Dec 2018 08:44AM UTC coverage: 94.84% (-0.07%) from 94.905%

Job # 283.1

Build Type

Pull #61

travis-ci

Committed by

web-flow

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

Pull Request Pull Request #61: typecheck quantifiers in composite types

Run Details

2040 of 2151 relevant lines covered (94.84%)

0.95 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 283.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 283.1

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

README BADGES
x