'Ports' PR labeler fix from Beestation (#2591)

BeeStation · Dec 8, 2023 · 51eadee · 51eadee
1 parent 09fb633
commit 51eadee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/extra_pr_labels.yml b/.github/workflows/extra_pr_labels.yml
@@ -19,7 +19,7 @@ jobs:
           commentOnDirty: "This pull request has conflicts, please resolve those before we can evaluate the pull request."
       - name: Apply labels based on changed files
         if: github.event_name != 'push'
-        uses: actions/labeler@main
+        uses: actions/labeler@v4.3.0
         with:
           repo-token: "${{ secrets.GITHUB_TOKEN }}"
           sync-labels: true