ci: fixup #838

Job	Run time
ci / check if job needs to run	3s
ci / prepare test matrix	15s
ci / MOODLE_35_STABLE - mariadb - php 7.1 - tool_objectfs	1m 49s
ci / MOODLE_35_STABLE - pgsql - php 7.1 - tool_objectfs	1m 51s
ci / MOODLE_33_STABLE - mariadb - php 7.1 - tool_objectfs	2m 17s
ci / MOODLE_34_STABLE - pgsql - php 7.1 - tool_objectfs	1m 46s
ci / MOODLE_35_STABLE - pgsql - php 7.2 - tool_objectfs	1m 51s
ci / MOODLE_36_STABLE - mariadb - php 7.1 - tool_objectfs	2m 4s
ci / MOODLE_35_STABLE - mariadb - php 7.2 - tool_objectfs	1m 59s
ci / MOODLE_37_STABLE - pgsql - php 7.2 - tool_objectfs	2m 21s
ci / MOODLE_38_STABLE - mariadb - php 7.3 - tool_objectfs	7m 9s
ci / MOODLE_39_STABLE - mariadb - php 7.2 - tool_objectfs	6m 45s
ci / MOODLE_39_STABLE - pgsql - php 7.2 - tool_objectfs	3m 33s
ci / MOODLE_39_STABLE - mariadb - php 7.3 - tool_objectfs	6m 44s
ci / MOODLE_39_STABLE - pgsql - php 7.3 - tool_objectfs	3m 11s
ci / Release to the Moodle plugin directory	0s
	43m 38s

Provide feedback