Skip to content

Commit ef0a5fc

Browse files
authored
Merge pull request #3420 from tautschnig/codeowners
Remove codeowners from delete_failing_smt2_solver_tests
2 parents 495b3ab + 37a0c93 commit ef0a5fc

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)