From b876c4a2e039eeeb150d52e843bbe6ea1d799acb Mon Sep 17 00:00:00 2001
From: Maik Marschner <leMaik@leMaik.de>
Date: Sun, 29 Oct 2023 02:01:50 +0200
Subject: [PATCH] Pin the python version and check if the build actually
 generated something.

---
 .github/workflows/gh-pages-deploy.yaml | 3 ++-
 .github/workflows/pr-build.yaml        | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/gh-pages-deploy.yaml b/.github/workflows/gh-pages-deploy.yaml
index 5b524f6..1044250 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
@@ -20,6 +20,7 @@ jobs:
         run: |
           source ./venv/bin/activate
           ./build.sh
+          test -f ./docs/index.html # sanity check
       - name: Deploy to GH Pages
         run: |
           pip install ghp-import
diff --git a/.github/workflows/pr-build.yaml b/.github/workflows/pr-build.yaml
index e6bce9e..db3c1df 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: |
@@ -31,6 +31,7 @@ jobs:
         run: |
           source ./venv/bin/activate
           bash ./build.sh
+          test -f ./docs/index.html # sanity check
 
       - name: Save PR Number
         run: echo ${{ github.event.number }} > ./docs/pr-number.txt