Merge pull request #5703 from AndrewVSutherland/master #2332

Job	Run time
Initial setup	4s
proddb lint	2m 50s
devmirror lint	3m 19s
proddb abvar/fq bianchi_modular_forms number_fields	4m 45s
devmirror abvar/fq bianchi_modular_forms number_fields	4m 18s
proddb galois_groups siegel_modular_forms	5m 58s
devmirror galois_groups siegel_modular_forms	5m 29s
proddb elliptic_curves hecke_algebras tests	3m 3s
devmirror elliptic_curves hecke_algebras tests	2m 44s
proddb hilbert_modular_forms sato_tate_groups tests	2m 54s
devmirror hilbert_modular_forms sato_tate_groups tests	3m 19s
proddb api characters cluster_pictures ecnf local_fields	3m 29s
devmirror api characters cluster_pictures ecnf local_fields	3m 9s
proddb belyi higher_genus_w_automorphisms lattice maass_forms tests users	9m 33s
devmirror belyi higher_genus_w_automorphisms lattice maass_forms tests users	2m 25s
proddb artin_representations genus2_curves	3m 28s
devmirror artin_representations genus2_curves	3m 27s
proddb classical_modular_forms	12m 52s
devmirror classical_modular_forms	8m 51s
proddb lfunctions	8m 43s
devmirror lfunctions	10m 56s
devmirror groups/abstract	3m 47s
proddb modular_curves	1m 48s
devmirror modular_curves	1m 27s
	1h 52m 38s

Provide feedback