Merge branch 'master' into ghc-927

mergify[bot] · web-flow · commit 204b649f949d · 2023-05-05T06:23:18.000Z
diff --git a/.readthedocs.yaml b/.readthedocs.yaml
@@ -3,7 +3,12 @@ version: 2
 sphinx:
   configuration: docs/conf.py
 
+build:
+  os: "ubuntu-22.04"
+  tools:
+    # this means the latest python 3
+    python: "3"
+
 python:
-  version: 3.8
   install:
     - requirements: docs/requirements.txt
diff --git a/docs/requirements.txt b/docs/requirements.txt
@@ -1,4 +1,4 @@
-Sphinx~=4.5.0
-sphinx-rtd-theme~=1.0.0
-myst-parser~=0.17.2
+Sphinx~=5.3.0
+sphinx-rtd-theme~=1.1.0
+myst-parser~=1.0.0
 docutils<0.19
