From f73f2a8d5aa3776558c85dfe7de88ac7941097c8 Mon Sep 17 00:00:00 2001
From: Luke Moll <lukemoll@users.noreply.github.com>
Date: Mon, 18 Mar 2024 21:37:12 +0000
Subject: [PATCH] Check that index.html was actually written

---
 .github/workflows/webcheck.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/webcheck.yaml b/.github/workflows/webcheck.yaml
index a24476d..48cbed8 100644
--- a/.github/workflows/webcheck.yaml
+++ b/.github/workflows/webcheck.yaml
@@ -24,6 +24,9 @@ jobs:
         # Hopefully displays a nicely formatted error
         run: echo "::error title=cURL::${{ steps.curl.outputs.OUTPUT }}. This might mean that Runciman is offline"
 
+      - name: Check index.html was written correctly
+        run: stat index.html > /dev/null
+
       - uses: actions/checkout@v4
         with:
           # Only need the latest commit