See MDLSITE-4414 https://github.com/moodlehq/moodle-local_ci/pull/72
(Note this precheck isn't idealy suited - it won't report a problem when
checks are in progress - which will be likely for many MDK users as they
will likely push shortly before precheck)