ci: let main builds finish instead of cancelling them on every merge (#16044)

2026-10-04 14:20:58 +00:00 · 2026-10-01 10:34:13 -03:00
parent d1d14329d9
commit e7c0e2cd82
1 changed files with 3 additions and 1 deletions
@@ -56,7 +56,9 @@ on:

 concurrency:
  group: ${{ github.workflow }}-${{ github.event_name }}-${{ github.event.pull_request.number || github.ref }}
-  cancel-in-progress: true
+  # Pushes don't cancel a running build, because only a finished branch build
+  # saves caches every pull request can restore.
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
  

 jobs: