Make benchmarks opt-in via [bench] marker; proceed with lean green CI

2025-08-11 15:07:11 +08:00
parent af2082aa61
commit 40b9a6c6ab
1 changed files with 1 additions and 1 deletions
@@ -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