File tree Expand file tree Collapse file tree 2 files changed +10
-1
lines changed Expand file tree Collapse file tree 2 files changed +10
-1
lines changed Original file line number Diff line number Diff line change @@ -107,6 +107,15 @@ jobs:
107
107
- name : Install python wheel
108
108
run : cd dist && python -m pip install jupyter_lsp-${{ env.PY_JLSP_VERSION }}-py3-none-any.whl --no-deps
109
109
110
+ - name : Find out jedi cache location
111
+ run : python -c 'import jedi; print("::set-env name=JEDI_CACHE_DIR::" + jedi.settings.cache_directory)'
112
+
113
+ - name : Cache jedi cache
114
+ uses : actions/cache@v1
115
+ with :
116
+ path : ${{ env.JEDI_CACHE_DIR }}
117
+ key : jedi-${{ matrix.os }}-${{ hashFiles('scripts/jedi_cache.py') }}-${{ hashFiles('requirements/github-actions.yml') }}
118
+
110
119
- name : Warm up jedi cache
111
120
run : python scripts/jedi_cache.py
112
121
Original file line number Diff line number Diff line change 21
21
- When _using_ jedi for the first time, the cache gets
22
22
created in `jedi.settings.cache_directory`, usually
23
23
somewhere in $HOME.
24
- - As different libriraries are inspected by jedi, they get
24
+ - As different libraries are inspected by jedi, they get
25
25
added to the cache.
26
26
- This is very slow, especially on windows, and cannot
27
27
feasibly be cached, today.
You can’t perform that action at this time.
0 commit comments