Merge branch 'main' into smir-rvalue

model-checking · Dec 13, 2023 · 289141f · 289141f
2 parents ac8dec3 + e5ad17f
commit 289141f
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 9 deletions.
diff --git 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
@@ -37,7 +37,7 @@ jobs:
 
  - name: Label PR
  id: labeler
- uses: actions/labeler@v4
+ uses: actions/labeler@v5
  with:
  dot: true