Skip to content
Merged
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Add concurrency key to avoid duplicate builds
  • Loading branch information
hugovk committed May 8, 2023
commit 6269502e0959074877c15e1efb578a91f0abf92c
4 changes: 4 additions & 0 deletions .github/workflows/lint.yml
Comment thread
AlexWaygood marked this conversation as resolved.
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,10 @@ on: [push, pull_request, workflow_dispatch]
permissions:
contents: read

concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true

jobs:
lint:
runs-on: ubuntu-latest
Comment thread
erlend-aasland marked this conversation as resolved.
Expand Down