mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-20 20:57:06 +08:00
Try to fix readthedocs
This commit is contained in:
1 parent
4e175ca82b
commit
dc20f2e5a0
1 file changed
+3
@@ -9,3 +9,6 @@ python:
|
|||||||
|
|
||||||
submodules:
|
submodules:
|
||||||
include: all
|
include: all
|
||||||
|
|
||||||
|
build:
|
||||||
|
os: ubuntu-22.04
|
||||||
Reference in new issue
Block a user