Merge branch 'main' into prettier

This commit is contained in:
James M. Greene
2022-08-05 17:28:54 -05:00
committed by GitHub
3 changed files with 16 additions and 0 deletions

View File

@@ -18,6 +18,11 @@ on:
permissions: permissions:
contents: read contents: read
# This allows a subsequently queued workflow run to interrupt previous runs
concurrency:
group: '${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}'
cancel-in-progress: true
jobs: jobs:
check-dist: check-dist:
runs-on: ubuntu-latest runs-on: ubuntu-latest

View File

@@ -4,6 +4,9 @@ on:
branches: branches:
- main - main
permissions:
contents: write
jobs: jobs:
draft-release: draft-release:
runs-on: ubuntu-latest runs-on: ubuntu-latest

View File

@@ -6,6 +6,14 @@ on:
- main - main
pull_request: pull_request:
permissions:
contents: read
# This allows a subsequently queued workflow run to interrupt previous runs
concurrency:
group: '${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}'
cancel-in-progress: true
jobs: jobs:
test: test:
runs-on: ubuntu-latest runs-on: ubuntu-latest