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

Job	Run time
test (8.2, master, pgsql, SBCL)	20m 10s
test (8.1, MOODLE_402_STABLE, pgsql, GCL)	30m 26s
test (8.0, MOODLE_402_STABLE, pgsql, SBCL)	18m 7s
test (7.4, MOODLE_401_STABLE, mariadb, GCL)	2h 12m 44s
test (7.4, MOODLE_400_STABLE, pgsql, SBCL)	28m 16s
test (7.3, MOODLE_311_STABLE, pgsql, SBCL)	19m 23s
test (7.2, MOODLE_39_STABLE, pgsql, SBCL)	26m 16s
	4h 35m 22s

Provide feedback