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

This reverts commit c59c557. See model-checking#2922.
tautschnig · Dec 7, 2023 · 9d535f8 · 9d535f8
1 parent c59c557
commit 9d535f8
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@v5
+      uses: actions/labeler@v4
       with:
         dot: true