Merge pull request #494 from unpoller/fix-public-pull-requests-ci

fixes public pull requests CI to actually run
This commit is contained in:
Cody Lee 2022-12-28 11:53:22 -06:00 committed by GitHub
commit a855dd2e50
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 3 deletions

View File

@ -1,11 +1,14 @@
name: Build
on: [push]
on:
- pull_request
permissions:
contents: read
# Optional: allow read access to pull request. Use with `only-new-issues` option.
# pull-requests: read
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
jobs:
test: