From b4db1860cd5c764a128deefd38d53e7521cd0417 Mon Sep 17 00:00:00 2001
From: "Michael B. Gale" <mbg@github.com>
Date: Thu, 25 Sep 2025 13:16:03 +0100
Subject: [PATCH] Reset working directory before failing in `check-js.sh`

---
 .github/workflows/script/check-js.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/script/check-js.sh b/.github/workflows/script/check-js.sh
index 34d58f68b..57638dcf2 100755
--- a/.github/workflows/script/check-js.sh
+++ b/.github/workflows/script/check-js.sh
@@ -23,6 +23,11 @@ if [ ! -z "$(git status --porcelain)" ]; then
     git diff --output="$RUNNER_TEMP/js.diff"
     cat "$RUNNER_TEMP/js.diff" >> $GITHUB_STEP_SUMMARY
     echo '```' >> $GITHUB_STEP_SUMMARY
+
+    # Reset bundled files to allow other checks to test for changes
+    git checkout lib
+
+    # Fail this check
     exit 1
 fi
 echo "Success: JavaScript files are up to date"