From 40b9a6c6aba88cc9e75a3ccda61ae5005f6413d0 Mon Sep 17 00:00:00 2001
From: Andy <andy+github@savage.hk>
Date: Mon, 11 Aug 2025 15:07:11 +0800
Subject: [PATCH] Make benchmarks opt-in via [bench] marker; proceed with lean
 green CI

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index cb56e00..11db7f6 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -177,7 +177,7 @@ jobs:
   benchmarks:
     name: Performance Benchmarks
     runs-on: ubuntu-latest
-    if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+    if: github.event_name == 'push' && github.ref == 'refs/heads/main' && contains(github.event.head_commit.message, '[bench]')
     steps:
     - name: Checkout code
       uses: actions/checkout@v4