From 3fc28f777ef05dbed6dfc57214a8a3bce9f88e7d Mon Sep 17 00:00:00 2001
From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com>
Date: Sat, 13 Jun 2026 14:45:51 +0100
Subject: [PATCH] =?UTF-8?q?ci:=20cut=20Actions=20burn=20=E2=80=94=20scope?=
 =?UTF-8?q?=20push=20triggers=20+=20concurrency-cancel?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Workflows fired on bare `[push, pull_request]`, running twice per PR commit
(branch push + PR synchronize). Scope push to [main, master] so PRs fire once;
add concurrency cancel-in-progress (read-only PR checks). Reduces the Actions
minute burn behind the estate spending-limit wall. No SPDX/logic changes.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
---
 .github/workflows/rescript-deno-ci.yml | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/rescript-deno-ci.yml b/.github/workflows/rescript-deno-ci.yml
index 6a79b4a..d3c1850 100644
--- a/.github/workflows/rescript-deno-ci.yml
+++ b/.github/workflows/rescript-deno-ci.yml
@@ -1,6 +1,15 @@
 # SPDX-License-Identifier: MPL-2.0
 name: ReScript/Deno CI
-on: [push, pull_request]
+on:
+  push:
+    branches: [main, master]
+  pull_request:
+
+# Estate guardrail: scope push to default branches so a PR fires once (not
+# push+PR), and cancel superseded runs. Safe — read-only PR-triggered check.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
 
 permissions:
   contents: read