3
83%
master: 83%

Ran 14 Sep 2020 08:31AM UTC

Files 54

Run time 8s

Badge

Embed ▾

Committed 14 Sep 2020 08:23AM UTC coverage: 82.943% (+0.7%) from 82.267%

Job # 1642.3

Build Type

push

travis-ci-com

Committed by

web-flow

Commit Message

Fixed dialyzer issues for OTP 23 (#429)

* Fixed dialyzer issues for OTP 23
The first execute_op must be deleted because it will never be called (there is no defined timeout so it can never happen)
The From/Sender is defined as either undefined or gen_statem:from() (which is {pid(), term()}) so it can never be just a pid

* Added OTP 23 in travis config

Run Details

2835 of 3418 relevant lines covered (82.94%)

1643.7 hits per line

AntidoteDB / antidote / 1642 / 3
83%
master: 83%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1642.3

AntidoteDB / antidote / 1642 / 3 83% master: 83%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1642.3

AntidoteDB / antidote / 1642 / 3
83%
master: 83%

README BADGES
x