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