Merge branch 'master' into add-links-from-issues

3 years ago · 9ae8e57d0f
parent 0252be5bc1 173cbc734b
commit 9ae8e57d0f
1 changed files with 3 additions and 0 deletions
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@ -3,6 +3,9 @@ on:
  workflow_dispatch:
  pull_request:
    types: [opened, synchronize, reopened, edited]
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
 jobs:
  check:
    runs-on: ubuntu-latest