Moodle 4.2 is released, so that can be checked now.
There is a new version of the CI plugin, but it doesn't support PHP 7.3, so the old version needs to be used for checking PHP 7.3. See https://moodlehq.github.io/moodle-plugin-ci/UPGRADE-4.0.html
I thought maybe it would be good to alternate between checking PostgreSQL and MariaDB.
GitHub has updated their checkout code, so that needs to be changed. See https://github.com/moodlehq/moodle-plugin-ci/pull/190
The example CI script changed the command for calling the code checker, so may as well do that. See https://github.com/moodlehq/moodle-plugin-ci/pull/212
May as well include the comment that's been added to the example CI script too.
Moodle 4.2 is released, so that can be checked now. There is a new version of the CI plugin, but it doesn't support PHP 7.3, so the old version needs to be used for checking PHP 7.3. See https://moodlehq.github.io/moodle-plugin-ci/UPGRADE-4.0.html I thought maybe it would be good to alternate between checking PostgreSQL and MariaDB. GitHub has updated their checkout code, so that needs to be changed. See https://github.com/moodlehq/moodle-plugin-ci/pull/190 The example CI script changed the command for calling the code checker, so may as well do that. See https://github.com/moodlehq/moodle-plugin-ci/pull/212 May as well include the comment that's been added to the example CI script too.