From e616763e0284871f17ef96baef1be0de3367260d Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 11 Dec 2023 16:13:13 +0000 Subject: [PATCH 1/2] Bump actions/labeler from 4 to 5 Bumps [actions/labeler](https://github.com/actions/labeler) from 4 to 5. - [Release notes](https://github.com/actions/labeler/releases) - [Commits](https://github.com/actions/labeler/compare/v4...v5) --- updated-dependencies: - dependency-name: actions/labeler dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/extra_jobs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 From f7821b314df9b4f5e99ca7b3b96237d56f437fc4 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Thu, 7 Dec 2023 16:13:50 +0000 Subject: [PATCH 2/2] Updated labeler GitHub action configuration to v5 format When merging #2917 I overlooked the note that the configuration file format had changed. --- .github/labeler.yml | 13 +++++-------- 1 file changed, 5 insertions(+), 8 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']