Sync devtools
Deactivate mutant on CI