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/&/\&/g' + - name: Confirm ampersand replacement worked + run: grep git-pull _build/html/assignments/open_ended.html - name: Update commit run: |