Skip to content

Commit

Permalink
Updated labeler GitHub action configuration to v5 format
Browse files Browse the repository at this point in the history
When merging model-checking#2917 I overlooked the note that the configuration file
format had changed.
  • Loading branch information
tautschnig committed Dec 7, 2023
1 parent c59c557 commit bfa4e0d
Showing 1 changed file with 5 additions and 8 deletions.
13 changes: 5 additions & 8 deletions .github/labeler.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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']

0 comments on commit bfa4e0d

Please sign in to comment.