summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorZixun LI <[email protected]>2026-05-12 20:06:17 +0200
committerGitHub <[email protected]>2026-05-12 20:06:17 +0200
commit08f9855e3dc51291a8c30e2eeccab31f8f07d0a9 (patch)
tree346e65ba2869de8e6c25289f858bf4e38d611fff /.github/workflows
parent4e64f3e91cefab0993a837ac03476173eeeda854 (diff)
parent0a18f30a6ec8b89ad51afceaf3e80c1e1e59780a (diff)
Merge pull request #3639 from michael-membrowse/membrowse_map_support
ci: MemBrowse - add libraries mapping support
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/build.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index a83a997c2..af0191149 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -9,7 +9,7 @@ on:
types: [ published ]
concurrency:
- group: ${{ github.workflow }}-${{ github.ref }}
+ group: ${{ github.workflow }}-${{ github.event_name == 'push' && github.sha || github.ref }}
cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
jobs: