8
89%
master: 89%

Ran 06 Jun 2017 06:00AM UTC

Files 20

Run time 1s

Badge

Embed ▾

Committed 06 Jun 2017 05:58AM UTC coverage: 82.593%. Remained the same

Job # TOXENV=cov

Build Type

push

travis-ci

Committed by

davidhalter

Commit Message

Change Windows default cache directory to local (#1)

Change Windows default cache directory to local

From an issue that called for:
The default jedi cache directory is the roaming folder. In my company, we have restrictions on the file size of the Roaming folder (since I believe these settings are synced across computers). The jedi cache really isn't a fundamental user setting that needs to be synced across devices, so it really should be in the local app data folder. So I propose here that the default windows path use the environment variable %LocalAppData% instead.

Run Details

1879 of 2275 relevant lines covered (82.59%)

0.83 hits per line

davidhalter / parso / 26 / 8
89%
master: 89%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 26.8 (TOXENV=cov)

davidhalter / parso / 26 / 8 89% master: 89%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 26.8 (TOXENV=cov)

davidhalter / parso / 26 / 8
89%
master: 89%

README BADGES
x