Revert "Bump actions/labeler from 4 to 5 (#2917)" (#2923)

This reverts commit c59c557. See #2922.
model-checking · Dec 7, 2023 · b796802 · b796802
1 parent c59c557
commit b796802
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