From 3de2fad72e54afbec76200c17869a22cdf3cb5fe Mon Sep 17 00:00:00 2001
From: Aidan Feldman <aidan.feldman@gmail.com>
Date: Sat, 26 Apr 2025 09:39:22 -0400
Subject: [PATCH] troubleshoot ampersand replacement

---
 .github/workflows/publish.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index 8a00b657..591cb8d9 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -51,6 +51,8 @@ jobs:
       # https://stackoverflow.com/a/1583282/358804
       - name: Fix double-escaping
         run: find _build/html -name '*.html' -print0 | xargs -0 sed -i 's/&amp;amp;/\&amp;/g'
+      - name: Confirm ampersand replacement worked
+        run: grep git-pull _build/html/assignments/open_ended.html
 
       - name: Update commit
         run: |