Skip to content

refactor: Use default and Option in a more principled way #489

refactor: Use default and Option in a more principled way

refactor: Use default and Option in a more principled way #489

Workflow file for this run

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