diff options
| author | Michael Rogov Papernov <[email protected]> | 2026-05-12 17:12:41 +0100 |
|---|---|---|
| committer | Michael Rogov Papernov <[email protected]> | 2026-05-12 17:15:33 +0100 |
| commit | 0a18f30a6ec8b89ad51afceaf3e80c1e1e59780a (patch) | |
| tree | 346e65ba2869de8e6c25289f858bf4e38d611fff /.github/workflows | |
| parent | 4e64f3e91cefab0993a837ac03476173eeeda854 (diff) | |
support map files
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/build.yml | 2 |
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: |