Skip to content

Add a function to clone map and use it where appropriate #2133

Add a function to clone map and use it where appropriate

Add a function to clone map and use it where appropriate #2133

Workflow file for this run

name: Triaging
on:
- pull_request_target
permissions:
contents: read
jobs:
label:
permissions:
contents: read # for actions/labeler to determine modified files
pull-requests: write # for actions/labeler to add labels to PRs
name: PR labels
runs-on: ubuntu-20.04
steps:
- uses: actions/labeler@v5
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"
sync-labels: true