Merge pull request #6255 from dokku/josegonzalez-patch-3

Add ci concurrency to linting workflow
This commit is contained in:
Jose Diaz-Gonzalez
2023-10-06 23:17:36 -04:00
committed by GitHub

View File

@@ -10,6 +10,10 @@ on:
branches:
- 'master'
concurrency:
group: lint-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
jobs:
hadolint:
name: hadolint