From 871bf1c9f182475cf9a2d4e1ac4faf7044ba10af Mon Sep 17 00:00:00 2001
From: Michael Gilardi <11632652+mgilardi@users.noreply.github.com>
Date: Mon, 9 Nov 2026 18:05:43 -0700
Subject: [PATCH] Run the leak check on every change, docs included

The build now skips docs-only changes, which also skipped its leak
check, and README or docs text is where a stray email address most
often slips in (found by code-44 on Voidwell#2). The check gets its own
workflow with no path filter: a few seconds on ubuntu, no Gradle.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 .github/workflows/leak-check.yml | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 .github/workflows/leak-check.yml

diff --git a/.github/workflows/leak-check.yml b/.github/workflows/leak-check.yml
new file mode 100644
index 0000000..9a0123b
--- /dev/null
+++ b/.github/workflows/leak-check.yml
@@ -0,0 +1,21 @@
+name: Leak check
+
+# Every change, docs included: the build skips docs-only changes, and README or docs text is where a stray
+# email address most often slips in. A few seconds on ubuntu, no Gradle.
+on:
+  push:
+    branches: [main]
+  pull_request:
+
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  leak-check:
+    if: github.event_name != 'pull_request' || !github.event.pull_request.draft
+    runs-on: ubuntu-latest
+    timeout-minutes: 5
+    steps:
+      - uses: actions/checkout@v4
+      - run: bash scripts/leak-check.sh