Skip to content

Revert "Merge pull request #20645 from paldepind/cpp/range-analysis-m… #50227

Revert "Merge pull request #20645 from paldepind/cpp/range-analysis-m…

Revert "Merge pull request #20645 from paldepind/cpp/range-analysis-m… #50227

Workflow file for this run

name: "Pull Request Labeler"
on:
- pull_request_target
permissions:
contents: read
pull-requests: write
jobs:
triage:
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@v4
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"