Merge pull request #42 from unum-cloud/main-dev

Make: Sphinx versioning

Author: ashvardanian

.github/workflows/release.yml

@@ -76,7 +76,7 @@ jobs:
       - name: Setup GitHub Pages
         uses: actions/configure-pages@v2
       - name: Install dependencies
-        run: sudo apt update && sudo apt install -y doxygen graphviz dia git && pip install sphinx breathe furo m2r2 sphinxcontrib-googleanalytics==0.2.dev20220708 sphinxcontrib-jquery toml
+        run: sudo apt update && sudo apt install -y doxygen graphviz dia git && pip install sphinx==7.1.2 breathe furo m2r2 sphinxcontrib-googleanalytics==0.2.dev20220708 sphinxcontrib-jquery toml
       - name: Install UForm from PyPi
         run: pip install uform
       - name: Build documentation