diff --git a/.github/workflows/proofcheck-e2e-dummy.yml b/.github/workflows/proofcheck-e2e-dummy.yml
new file mode 100644
index 0000000..20fb41b
--- /dev/null
+++ b/.github/workflows/proofcheck-e2e-dummy.yml
@@ -0,0 +1,15 @@
+# Added by proofcheck's e2e "workflow-change" scenario. It only runs when
+# started by hand and does nothing; the scenario's PR is closed unmerged.
+name: proofcheck e2e dummy
+
+on:
+  workflow_dispatch:
+
+permissions: {}
+
+jobs:
+  noop:
+    runs-on: ubuntu-latest
+    timeout-minutes: 1
+    steps:
+      - run: echo "proofcheck e2e dummy workflow"