1764
40%

Ran 30 Dec 2021 01:30AM UTC

Jobs 1

Files 0

Run time –

Badge

Embed ▾

pending completion

Build # 1764

Build Type

push

travis-ci-com

Committed by

gcampax

Commit Message

Remove background timer to refresh spotify device

It consumes a lot of resources for a dubious benefit, considering
the common case where the user is not using spotify at all. We can
fetch the Spotify device dynamically when the user requests, at the
cost of a few more milliseconds of API.

Run Details

Jobs

ID	Job ID	Ran	Files	Coverage
1	1764.1 (COVERALLS_PARALLEL=true)	30 Dec 2021 01:30AM UTC	0	24.11	Travis Job 1764.1

Source Files on build 1764

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line

stanford-oval / thingpedia-common-devices / 1764
40%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1764

stanford-oval / thingpedia-common-devices / 1764 40%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1764

stanford-oval / thingpedia-common-devices / 1764
40%

README BADGES
x