diff --git a/.github/workflows/publish-web.yaml b/.github/workflows/publish-web.yaml
index 3cbff0ca0ab4..7d173b5b9171 100644
--- a/.github/workflows/publish-web.yaml
+++ b/.github/workflows/publish-web.yaml
@@ -1,13 +1,10 @@
 name: publish-web
 on:
+  # A release ends by pushing its docs to `web` with the bot's PAT, and a push
+  # made with a PAT does start workflows, so this covers releases too.
   push:
     branches:
       - web
-  # Even though releases push to `web` branch, that doesn't cause this workflow
-  # to run, because GHA can't start workflows itself. So we also run on
-  # releases.
-  release:
-    types: [released]
   # Called by pull-request when specifically requested
   workflow_call:
   workflow_dispatch: