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

Job	Run time
test (8.2, master, pgsql, SBCL)	21m 9s
test (8.1, MOODLE_402_STABLE, pgsql, GCL)	29m 55s
test (8.0, MOODLE_402_STABLE, pgsql, SBCL)	18m 31s
test (7.4, MOODLE_401_STABLE, mariadb, GCL)	1h 14m 13s
test (7.4, MOODLE_400_STABLE, pgsql, SBCL)	34m 22s
test (7.3, MOODLE_311_STABLE, pgsql, SBCL)	20m 48s
test (7.2, MOODLE_39_STABLE, pgsql, SBCL)	27m 25s
	3h 46m 23s

Provide feedback