Skip to content

Commit 37a0c93

Browse files
committed
Remove codeowners from delete_failing_smt2_solver_tests
When new tests are added that do not yet work with the SMT back-end, we should only require feedback from owners of other files touched, not necessarily from the owners of infrastructure tooling.
1 parent 495b3ab commit 37a0c93

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

CODEOWNERS

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -59,6 +59,7 @@
5959
/jbmc/regression/
6060

6161
/scripts/ @diffblue/devops @thk123 @forejtv @peterschrammel
62+
/scripts/delete_failing_smt2_solver_tests
6263
/scripts/expected_doxygen_warnings.txt
6364

6465
/.travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel

0 commit comments

Comments
 (0)