We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 53c90db commit bf5abb9Copy full SHA for bf5abb9
CODEOWNERS
@@ -43,15 +43,6 @@ jbmc/src/jdiff/ @smowton @mgudemann @cristina-david @cesaro @pkesseli @peterschr
43
src/cpp/ @kroening @tautschnig @peterschrammel
44
45
46
-# These files change frequently and changes are low-risk
47
-
48
-src/util/irep_ids.def @diffblue/cbmc-developers
49
50
-unit/ @diffblue/cbmc-developers
51
-regression/ @diffblue/cbmc-developers
52
-jbmc/unit/ @diffblue/cbmc-developers
53
-jbmc/regression/ @diffblue/cbmc-developers
54
55
scripts/ @diffblue/devops @thk123 @forejtv @peterschrammel
56
.travis.yml @diffblue/devops @thk123 @forejtv @peterschrammel
57
appveyor.yml @diffblue/devops @thk123 @forejtv @peterschrammel
0 commit comments