{ "checker": { "no-deadlocks": true } }