build: Post pull request comments on build check failure

.github/workflows/build.yml

@@ -36,7 +36,7 @@ jobs:
           - '3.9'
           - '3.10'
 
-name: Build
+name: build
 
 # We want to run this workflow on each push to a topic branch, and on
 # each pull request. Once we merge to main, we want to run the

.github/workflows/check.yml

@@ -16,7 +16,7 @@ jobs:
         run: |
           tox -e check-prod
 
-name: 'Check links'
+name: check
 
 # We want to run this workflow every time we build the site.
 # In addition, we want to run it once a week on a schedule.

.github/workflows/comment.yml

@@ -0,0 +1,20 @@
+# Post a comment back on a PR thread, in case an associated workflow
+# failed. Note that comment-failure-action is a no-op in case the
+# workflow was not invoked in response to a PR. In other words, this
+# action only creates comments for workflows configured with
+# "on: pull_request".
+---
+jobs:
+  comment-failure:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: quipper/[email protected]
+
+name: comment
+
+'on':
+  workflow_run:
+    types:
+      - completed
+    workflows:
+      - build

.github/workflows/deploy.yml

@@ -17,7 +17,7 @@ jobs:
       - name: Deploy to gh-pages
         run: tox -e deploy-github
 
-name: Deploy
+name: deploy
 
 'on':
   push: