build.yml revisions (#1744)

* build.yml revisions * Undo push and PR changes
2026-06-01 17:27:19 -04:00 · 2026-05-23 22:15:32 -04:00
parent e9a7628218
commit 114e6e60bb
1 changed files with 4 additions and 0 deletions
@@ -7,6 +7,10 @@ on:
      - '*LICENSE'
  pull_request:

+concurrency:
+  group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && format('pr-{0}', github.event.pull_request.number) || format('run-{0}', github.run_id) }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
+
 env:
  SCCACHE_GHA_ENABLED: "true"
  RUSTC_WRAPPER: "sccache"