diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index d731f0ee6..33f66b1eb 100644
--- a/.github/workflows/build.yml
+++ b/.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
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index cb0e8b891..46c8d0cf5 100644
--- a/.github/workflows/check.yml
+++ b/.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.
diff --git a/.github/workflows/comment.yml b/.github/workflows/comment.yml
new file mode 100644
index 000000000..5b1a5ff73
--- /dev/null
+++ b/.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 does creates a comments for workflows configured with
+# "on: pull_request".
+---
+jobs:
+  comment-failure:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: quipper/comment-failure-action@v0.1.1
+
+name: comment
+
+'on':
+  workflow_run:
+    types:
+      - completed
+    workflows:
+      - build
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 37e759689..adc2d56ac 100644
--- a/.github/workflows/deploy.yml
+++ b/.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: