ci: use python 3.11

Change-Id: Ie8d37bf5f5ed8b54cca3ba512aef38ed3a9e94c1
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index 3ecdfca..eacd5c8 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -38,11 +38,11 @@
       - name: Set up Python
         uses: actions/setup-python@v4
         with:
-          python-version: '3.10'
+          python-version: '3.11'
       - name: Install dependencies
         run: |
           python -m pip install --upgrade pip
-          pip install -r requirements.txt
+          python -m pip install -r requirements.txt
       - name: Generate HTML pages
         run: |
           export SOURCE_DATE_EPOCH="$(git log -1 --format=%ct)"
@@ -62,14 +62,14 @@
       - name: Set up Python
         uses: actions/setup-python@v4
         with:
-          python-version: '3.10'
+          python-version: '3.11'
       - name: Install dependencies
         run: |
           sudo apt-get -qq update
           sudo apt-get -qy install --no-install-recommends latexmk \
             texlive-latex-extra texlive-fonts-recommended tex-gyre
           python -m pip install --upgrade pip
-          pip install -r requirements.txt
+          python -m pip install -r requirements.txt
       - name: Generate PDF document
         run: |
           export SOURCE_DATE_EPOCH="$(git log -1 --format=%ct)"