Skip to content

Switch to storing URIs in entries instead of file paths #2209

Switch to storing URIs in entries instead of file paths

Switch to storing URIs in entries instead of file paths #2209

name: Pull Request Labels
on:
pull_request_review:
types: [submitted]
pull_request:
types: [labeled, unlabeled, synchronize]
jobs:
check-labels:
runs-on: ubuntu-latest
env:
GH_TOKEN: ${{ github.token }}
steps:
- uses: actions/checkout@v4
- name: Check for Pull Request Labels
shell: bash
run: |
bin/check_labels "$(gh pr view --json labels ${{ github.event.pull_request.number }})"