From e5ad17fab071427ced0dcd0ea9c9e517cff79a90 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Tue, 12 Dec 2023 23:50:22 +0100
Subject: [PATCH] Bump actions/labeler from 4 to 5 (#2935)

Bumps [actions/labeler](https://github.com/actions/labeler) from 4 to 5.
---
 .github/labeler.yml              | 13 +++++--------
 .github/workflows/extra_jobs.yml |  2 +-
 2 files changed, 6 insertions(+), 9 deletions(-)

diff --git a/.github/labeler.yml b/.github/labeler.yml
index ec81f0aa15cc..1195ee4a14d2 100644
--- a/.github/labeler.yml
+++ b/.github/labeler.yml
@@ -6,11 +6,8 @@
 # Note that we enable dot, so "**" matches all files in a folder
 
 Z-BenchCI:
-  - kani-compiler/**
-  - rust-toolchain.toml
-  - kani-dependencies
-  - kani-driver/src/call-*
-  - Cargo.lock
-  - cprover_bindings/**
-  - library/**
-
+- any:
+  - changed-files:
+    - any-glob-to-any-file: ['kani-compiler/**', 'kani-driver/src/call-*', 'cprover_bindings/**', 'library/**']
+    - any-glob-to-any-file: ['rust-toolchain.toml', 'Cargo.lock']
+    - any-glob-to-any-file: ['kani-dependencies']
diff --git a/.github/workflows/extra_jobs.yml b/.github/workflows/extra_jobs.yml
index 45ca6968c4ba..5d92f3fff53c 100644
--- 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