Skip to content

Remove redundant /proc/{pid}/stat reads #715

Remove redundant /proc/{pid}/stat reads

Remove redundant /proc/{pid}/stat reads #715

Workflow file for this run

name: "Pull Request Labeler"
on:
- pull_request_target
permissions:
contents: read
jobs:
triage:
permissions:
contents: read # for actions/labeler to determine modified files
pull-requests: write # for actions/labeler to add labels to PRs
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@ac9175f8a1f3625fd0d4fb234536d26811351594 # v4.3.0
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"