Release v0.3.0 #21
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Pull request | |
| # PR pipeline: run the shared checks on every pull request. Nothing release-related lives | |
| # here — that belongs to master.yml. | |
| on: | |
| pull_request: | |
| permissions: {} | |
| jobs: | |
| checks: | |
| name: PR pipeline checks | |
| # ^This is the name of the job (or rather: the name prefix of the checks.yml | |
| # jobs) we require in the master branch protection ruleset to pass before a | |
| # PR can be merged. | |
| uses: ./.github/workflows/checks.yml | |
| permissions: # ceiling for the called jobs (union of what they each need) | |
| contents: read | |
| actions: read | |
| security-events: write |