ci: use github.sha instead of github.ref, so CI runs on master are not canceled early

pull/12928/head
Delyan Angelov 2021-12-21 19:18:34 +02:00
parent de3665af69
commit 5ee5f92cda
No known key found for this signature in database
GPG Key ID: 66886C0F12D595ED
2 changed files with 2 additions and 2 deletions

View File

@ -9,7 +9,7 @@ on:
- "**.md"
concurrency:
group: build-${{ github.event.pull_request.number || github.ref }}
group: build-${{ github.event.pull_request.number || github.sha }}
cancel-in-progress: true
jobs:

View File

@ -54,7 +54,7 @@ on:
- 'vlib/v/embed_file/**.v'
concurrency:
group: build-${{ github.event.pull_request.number || github.ref }}
group: build-${{ github.event.pull_request.number || github.sha }}
cancel-in-progress: true
jobs: