wehub-resource-sync
43 lines
956 B
YAML
43 lines
956 B
YAML
# Checks that all checkboxes in a PR are checked
|
|
|
|
name: Pull Request Checkboxes
|
|
|
|
on:
|
|
pull_request_target:
|
|
types:
|
|
- opened
|
|
- synchronize
|
|
- reopened
|
|
- edited
|
|
|
|
concurrency:
|
|
group: ${{ github.event.pull_request.number }}-pr-checkboxes
|
|
cancel-in-progress: true
|
|
|
|
defaults:
|
|
run:
|
|
shell: bash --noprofile --norc -euo pipefail {0}
|
|
|
|
permissions:
|
|
contents: "read"
|
|
pull-requests: "read"
|
|
|
|
jobs:
|
|
pr-checkboxes:
|
|
name: Check PR checkboxes
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Checkout repository
|
|
uses: actions/checkout@v4
|
|
|
|
- uses: prefix-dev/setup-pixi@v0.10.0
|
|
with:
|
|
pixi-version: v0.71.3
|
|
|
|
- name: Check PR checkboxes
|
|
run: |
|
|
pixi run ./scripts/ci/check_pr_checkboxes.py \
|
|
--github-token ${{ secrets.GITHUB_TOKEN }} \
|
|
--github-repository ${{ github.repository }} \
|
|
--pr-number ${{ github.event.pull_request.number }}
|