From 37a0c93a53d70d1abe4325287ba500a21ec6da10 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 14 Nov 2018 19:28:16 +0000 Subject: [PATCH] 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. --- CODEOWNERS | 1 + 1 file changed, 1 insertion(+) diff --git a/CODEOWNERS b/CODEOWNERS index 931754a42c4..be830a23b94 100644 --- a/CODEOWNERS +++ b/CODEOWNERS @@ -59,6 +59,7 @@ /jbmc/regression/ /scripts/ @diffblue/devops @thk123 @forejtv @peterschrammel +/scripts/delete_failing_smt2_solver_tests /scripts/expected_doxygen_warnings.txt /.travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel