1642
83%

Ran 14 Sep 2020 08:31AM UTC

Jobs 3

Files 54

Run time 21s

Badge

Embed ▾

pending completion

Build # 1642

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

2836 of 3418 relevant lines covered (82.97%)

5024.87 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	1642.1	14 Sep 2020 08:31AM UTC	82.36	Travis Job 1642.1
2	1642.2	14 Sep 2020 08:31AM UTC	82.33	Travis Job 1642.2
3	1642.3	14 Sep 2020 08:31AM UTC	82.94	Travis Job 1642.3

Source Files on build 1642

Detailed source file information is not available for this build.

AntidoteDB / antidote / 1642
83%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1642

AntidoteDB / antidote / 1642 83%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1642

AntidoteDB / antidote / 1642
83%

README BADGES
x