From 399c9f860ff9e152fb34910fd571e911c46dba8a Mon Sep 17 00:00:00 2001 From: Maik Marschner Date: Sun, 29 Oct 2023 02:20:31 +0200 Subject: [PATCH] Pin the python version. --- .github/workflows/gh-pages-deploy.yaml | 2 +- .github/workflows/pr-build.yaml | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/gh-pages-deploy.yaml b/.github/workflows/gh-pages-deploy.yaml index 5b524f6..d0fdc33 100644 --- a/.github/workflows/gh-pages-deploy.yaml +++ b/.github/workflows/gh-pages-deploy.yaml @@ -10,7 +10,7 @@ jobs: - uses: actions/checkout@v2 - uses: actions/setup-python@v2 with: - python-version: 3.x + python-version: 3.12 - name: Setup Python run: | python -m venv ./venv --clear diff --git a/.github/workflows/pr-build.yaml b/.github/workflows/pr-build.yaml index e6bce9e..24ac802 100644 --- a/.github/workflows/pr-build.yaml +++ b/.github/workflows/pr-build.yaml @@ -19,7 +19,7 @@ jobs: - name: Install Python uses: actions/setup-python@v2 with: - python-version: 3.x + python-version: 3.12 - name: Setup Python run: | @@ -30,7 +30,7 @@ jobs: - name: Build docs run: | source ./venv/bin/activate - bash ./build.sh + ./build.sh - name: Save PR Number run: echo ${{ github.event.number }} > ./docs/pr-number.txt