961
60%

Ran 14 Mar 2021 02:04PM UTC

Jobs 3

Files 24

Run time 13s

Badge

Build # 961

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #468 from NYUCCL/proof-announcement

Proof announcement

Run Details

445 of 983 branches covered (45.27%)

1758 of 2937 relevant lines covered (59.86%)

1.8 hits per line

ID	Job ID	Ran	Files	Coverage
1	961.1	14 Mar 2021 02:04PM UTC	24	59.86	Travis Job 961.1
2	961.2	14 Mar 2021 02:04PM UTC	24	59.86	Travis Job 961.2
3	961.3	14 Mar 2021 02:04PM UTC	24	60.95	Travis Job 961.3