[chore] Fix GH label generation script (#1455)

This commit is contained in:
Joao Grassi 2024-10-07 18:09:11 +02:00 committed by GitHub
parent 6e77ed5f6c
commit d4f7bcd224
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 4 additions and 7 deletions

View File

@ -5,7 +5,7 @@ on:
paths: paths:
- model/** - model/**
- ./.github/workflows/generate-registry-area-labels.yml - ./.github/workflows/generate-registry-area-labels.yml
- ./.github/workflows/scripts/generate-registry-area-labels.sh - ./internal/tools/scripts/generate-registry-area-labels.sh
workflow_dispatch: workflow_dispatch:
@ -15,14 +15,11 @@ jobs:
if: ${{ github.repository_owner == 'open-telemetry' }} if: ${{ github.repository_owner == 'open-telemetry' }}
steps: steps:
- uses: actions/checkout@v4 - uses: actions/checkout@v4
# areas.txt is generated by the Make target generate-gh-issue-templates
- name: Generate registry area labels - name: Generate registry area labels
run: | run: |
make generate-gh-issue-templates make generate-gh-issue-templates
./internal/tools/scripts/generate-registry-area-labels.sh ./internal/tools/bin/areas.txt
- name: Run update permissions
run: chmod +x ./.github/workflows/scripts/generate-registry-area-labels.sh
- name: Generate registry area labels
run: ./.github/workflows/scripts/generate-registry-area-labels.sh
env: env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}