Merge branch 'proof-builder' of https://github.com/maths/moodle-qtype… #835

Job	Run time
test (8.2, master, pgsql, SBCL)	18m 13s
test (8.1, MOODLE_402_STABLE, pgsql, GCL)	21m 52s
test (8.0, MOODLE_402_STABLE, pgsql, SBCL)	18m 1s
test (7.4, MOODLE_401_STABLE, mariadb, GCL)	1h 13m 0s
test (7.4, MOODLE_400_STABLE, pgsql, SBCL)	19m 37s
test (7.3, MOODLE_311_STABLE, pgsql, SBCL)	25m 38s
test (7.2, MOODLE_39_STABLE, pgsql, SBCL)	20m 21s
	3h 16m 42s

Provide feedback