3017
60%
master: 61%

Ran 03 Aug 2022 01:27PM UTC

Jobs 2

Files 44

Run time 53s

Badge

Embed ▾

pending completion

Build # 3017

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

fix(typechecker): location of errors (#1132)

* fix(typechecker): location of errors for wrong constructors in pattern-matching (#1131)

* Add test for `0:0` location

* fix(scilla-base): `0:0` locations of errors/warnings (#1133)

* fix(scilla-base): Fix location of warnings for transitions w/o `accept`

* fix(scilla-base): Fix location for type errors

Co-authored-by: Georgiy Komarov <georgiy@zilliqa.com>

Run Details

4177 of 6928 relevant lines covered (60.29%)

27062.8 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	3017.1 (OCAML_VERSION=4.11.2)	03 Aug 2022 01:27PM UTC	0	60.29	Travis Job 3017.1
2	3017.2 (OCAML_VERSION=4.11.2)	03 Aug 2022 01:28PM UTC	0	60.29	Travis Job 3017.2

Source Files on build 3017

Detailed source file information is not available for this build.

Zilliqa / scilla / 3017
60%
master: 61%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 3017

Zilliqa / scilla / 3017 60% master: 61%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 3017

Zilliqa / scilla / 3017
60%
master: 61%

README BADGES
x