From 389bfc7f1ace1629d87e133c01d6e6e0e9578dd1 Mon Sep 17 00:00:00 2001
From: proofcheck-e2e <proofcheck-e2e@users.noreply.github.com>
Date: Tue, 13 Oct 2026 19:07:10 -0400
Subject: [PATCH] proofcheck e2e: [proofcheck e2e] Add a manual-only dummy
 workflow (proofcheck e2e)

---
 .github/workflows/proofcheck-e2e-dummy.yml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 .github/workflows/proofcheck-e2e-dummy.yml

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"