From 36c12bb1f3ebcfd4a6e8f91991fd6b7a4bc8d95c Mon Sep 17 00:00:00 2001
From: Florian Pommerening <florian.pommerening@unibas.ch>
Date: Wed, 1 Feb 2023 10:35:34 +0100
Subject: [PATCH] [trivial] Run autodoc on Ubuntu 22.04 instead of 20.04.

---
 .github/workflows/autodoc.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/autodoc.yml b/.github/workflows/autodoc.yml
index cc7d9bd708..12b045a9ac 100644
--- a/.github/workflows/autodoc.yml
+++ b/.github/workflows/autodoc.yml
@@ -11,7 +11,7 @@ jobs:
     name: Autodoc
     if: github.repository == 'aibasel/downward'
     timeout-minutes: 60
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-22.04
     env:
       DOWNWARD_AUTODOC_PASSWORD: ${{ secrets.DOWNWARD_AUTODOC_PASSWORD }}
     steps:
@@ -21,7 +21,7 @@ jobs:
       - name: Install Python
         uses: actions/setup-python@master
         with:
-          python-version: 3.8
+          python-version: '3.10'
 
       - name: Run autodoc
         run: |