mirror of
https://github.com/zama-ai/tfhe-rs.git
synced 2026-01-10 07:08:03 -05:00
chore(ci): fix workflow concurrency condition
Referencing current branch using github.head_ref is a leftover from handling pull_request_target event. This event being removed, there is no need to be specific and we can instead use 'github.workflow_ref' which is more robust.
This commit is contained in:
@@ -99,7 +99,7 @@ jobs:
|
||||
if: github.event_name != 'pull_request' ||
|
||||
(github.event_name == 'pull_request' && needs.setup-instance.result != 'skipped')
|
||||
concurrency:
|
||||
group: ${{ github.workflow }}_${{ github.head_ref || github.ref }}
|
||||
group: ${{ github.workflow_ref }}
|
||||
cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
|
||||
runs-on: ${{ needs.setup-instance.outputs.runner-name }}
|
||||
strategy:
|
||||
|
||||
Reference in New Issue
Block a user