From fbcecc0462c71657e40067428595c7e1558b3033 Mon Sep 17 00:00:00 2001
From: Sylvain Soliman <Sylvain.Soliman@inria.fr>
Date: Tue, 12 Dec 2023 14:54:51 +0100
Subject: [PATCH] readthedocs errors

---
 .readthedocs.yaml | 8 ++++----
 casq/__init__.py  | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/.readthedocs.yaml b/.readthedocs.yaml
index 0b5bd29..c9968da 100644
--- a/.readthedocs.yaml
+++ b/.readthedocs.yaml
@@ -6,10 +6,10 @@
 version: 2
 
 # Set the version of Python and other tools you might need
-# build:
-#   os: ubuntu-20.04
-#   tools:
-#     python: "3.9"
+build:
+  os: ubuntu-22.04
+  tools:
+    python: "3.12"
 #     # You can also specify other tool versions:
 #     # nodejs: "16"
 #     # rust: "1.55"
diff --git a/casq/__init__.py b/casq/__init__.py
index 2323fa1..d9175a2 100644
--- a/casq/__init__.py
+++ b/casq/__init__.py
@@ -18,4 +18,4 @@ You should have received a copy of the GNU General Public License
 along with this program.  If not, see <https://www.gnu.org/licenses/>.
 """
 # Don't forget to git tag v<version> && git push --tags
-version = "1.3.0"  # pylint: disable=invalid-name
+version = "1.3.1"  # pylint: disable=invalid-name
-- 
GitLab