fix-label-name

Signed-off-by: Vitor Bandeira <[email protected]>
The-OpenROAD-Project · Jul 30, 2024 · 8ebba80 · 8ebba80
1 parent 05cf66d
commit 8ebba80
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/github-actions-update-rules.yml b/.github/workflows/github-actions-update-rules.yml
@@ -76,6 +76,8 @@ jobs:
       - name: Remove label from PR
         if: always()
         uses: actions-ecosystem/action-remove-labels@v1
+        env:
+          LABEL: ${{ github.event.label.name }}
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
-          labels: "${{ github.event.label.name }}"
+          labels: "${LABEL}"