Skip to content

Commit

Permalink
Add concurrency group to opam build workflow
Browse files Browse the repository at this point in the history
4ever2 committed Jan 14, 2025
1 parent 71f6c63 commit 7f1c104
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions .github/workflows/opam-build.yml
Original file line number Diff line number Diff line change
@@ -13,6 +13,11 @@ on:
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:

# Concurrency group used to cancel old runs
concurrency:
group: "${{ github.workflow }}-${{ github.event.pull_request.number || github.head_ref || github.ref }}"
cancel-in-progress: true

# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
# This workflow contains a single job called "build"

0 comments on commit 7f1c104

Please sign in to comment.