UX: Disable version chooser, this project is not versioned

.github/workflows/docs.yml

@@ -5,6 +5,11 @@ on:
     branches:
       - main
 
+# Skip running redundant builds.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   documentation:
     name: Build docs on ${{ matrix.os }}
@@ -15,11 +20,14 @@ jobs:
         os: [ubuntu-latest, macos-latest]
 
     steps:
-      - uses: actions/checkout@v2
+      - name: Acquire sources
+        uses: actions/checkout@v4
+
       - name: Set up Python
-        uses: actions/setup-python@v1
+        uses: actions/setup-python@v4
         with:
-          python-version: 3.7
+          python-version: '3.11'
+
       - name: Build docs
         run: |
           cd docs && make check

.mergify.yml

@@ -18,4 +18,3 @@ pull_request_rules:
       queue:
         method: rebase
         name: default
-        rebase_fallback: none

.readthedocs.yml

@@ -1,11 +1,15 @@
 version: 2
 
+build:
+  os: "ubuntu-22.04"
+  tools:
+    python: "3.11"
+
 sphinx:
   builder: html
   configuration: docs/conf.py
   fail_on_warning: true
 
 python:
-  version: 3.7
   install:
     - requirements: docs/requirements.txt

DEVELOP.rst

@@ -8,7 +8,7 @@ The project is written using `Sphinx`_ and `ReStructuredText`_.
 Working on the project
 ======================
 
-Python 3.7 is required.
+You will need a recent installation of Python 3.
 
 Change into the ``docs`` directory:
 

docs/build.json

@@ -1,5 +1,5 @@
 {
   "schemaVersion": 1,
   "label": "docs build",
-  "message": "2.0.1"
+  "message": "2.1.1"
 }

docs/conf.py

@@ -1 +1,8 @@
 from crate.theme.rtd.conf.sql_99 import *
+
+# Disable version chooser.
+html_context.update({
+    "display_version": False,
+    "current_version": None,
+    "versions": [],
+})