144
3%

Ran 13 Jun 2016 04:42AM UTC

Jobs 5

Files 248

Run time 8min

Badge

Embed ▾

pending completion

Build # 144

Build Type

push

travis-ci

Committed by

sharmaeklavya2

Commit Message

zerver/models.py: Annotate get_display_recipient.

get_display_recipient's annotation clashes with other wrong annotations.
Fix those wrong annotations.
Since get_display_recipient returns a Union, use isinstance checks and
casts to make mypy checks succeed.

Run Details

19551 of 21299 relevant lines covered (91.79%)

1.28 hits per line

Jobs

ID	Job ID	Ran	Coverage
1	144.1 (TEST_SUITE=frontend)	13 Jun 2016 04:45AM UTC		Travis Job 144.1
2	144.2 (TEST_SUITE=backend)	13 Jun 2016 04:47AM UTC	79.49	Travis Job 144.2
3	144.3 (TEST_SUITE=production)	13 Jun 2016 04:51AM UTC		Travis Job 144.3
4	144.4 (TEST_SUITE=py3k)	13 Jun 2016 04:42AM UTC		Travis Job 144.4
5	144.5 (TEST_SUITE=mypy)	13 Jun 2016 04:42AM UTC	81.18	Travis Job 144.5

Source Files on build 144

Detailed source file information is not available for this build.

zulip / zulip / 144
3%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 144

zulip / zulip / 144 3%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 144

zulip / zulip / 144
3%

README BADGES
x