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

Job	Run time
test (8.2, master, pgsql, SBCL)	22m 53s
test (8.1, MOODLE_402_STABLE, pgsql, GCL)	21m 30s
test (8.0, MOODLE_402_STABLE, pgsql, SBCL)	22m 46s
test (7.4, MOODLE_401_STABLE, mariadb, GCL)	1h 10m 35s
test (7.4, MOODLE_400_STABLE, pgsql, SBCL)	19m 22s
test (7.3, MOODLE_311_STABLE, pgsql, SBCL)	26m 31s
test (7.2, MOODLE_39_STABLE, pgsql, SBCL)	19m 45s
	3h 23m 22s

Provide feedback