Bump actions/labeler from 4 to 5 (model-checking#2917)

Bumps [actions/labeler](https://github.com/actions/labeler) from 4 to 5.
tautschnig · Dec 7, 2023 · c59c557 · c59c557
1 parent d8db3b8
commit c59c557
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/extra_jobs.yml b/.github/workflows/extra_jobs.yml
@@ -37,7 +37,7 @@ jobs:
 
     - name: Label PR
       id: labeler
-      uses: actions/labeler@v4
+      uses: actions/labeler@v5
       with:
         dot: true