Update deps used in CI (esp. MyPy and PyLint)

2020-07-26 18:54:23 +02:00
parent 612842f255
commit 2a3711687f
7 changed files with 121 additions and 111 deletions
--- a/docs/requirements.txt
+++ b/docs/requirements.txt
@@ -1,2 +1,2 @@
 requests
-sphinx!=1.7.7
+sphinx~=2.3