Skip to content

Faster ID generation #1821

Faster ID generation

Faster ID generation #1821

name: Add Platform Label
on:
issues:
types: [opened]
pull_request:
types: [opened]
jobs:
add_label:
runs-on: ubuntu-latest
permissions:
issues: write
steps:
- uses: andymckay/labeler@e6c4322d0397f3240f0e7e30a33b5c5df2d39e90 # [email protected]
with:
add-labels: 'Platform: Java'
repo-token: ${{ secrets.GITHUB_TOKEN }}