master -> dev #2280

Job	Run time
Initial setup	3s
proddb lint	2m 53s
devmirror lint	3m 1s
proddb abvar/fq bianchi_modular_forms number_fields	6m 42s
devmirror abvar/fq bianchi_modular_forms number_fields	5m 19s
proddb galois_groups siegel_modular_forms	4m 35s
devmirror galois_groups siegel_modular_forms	5m 25s
proddb elliptic_curves hecke_algebras tests	3m 35s
devmirror elliptic_curves hecke_algebras tests	2m 41s
proddb hilbert_modular_forms sato_tate_groups tests	2m 46s
devmirror hilbert_modular_forms sato_tate_groups tests	3m 29s
proddb api characters cluster_pictures ecnf local_fields	4m 10s
devmirror api characters cluster_pictures ecnf local_fields	3m 29s
proddb belyi higher_genus_w_automorphisms lattice maass_forms tests users	10m 13s
devmirror belyi higher_genus_w_automorphisms lattice maass_forms tests users	2m 21s
proddb artin_representations genus2_curves	4m 26s
devmirror artin_representations genus2_curves	3m 16s
proddb classical_modular_forms	9m 54s
devmirror classical_modular_forms	7m 36s
proddb lfunctions	16m 22s
devmirror lfunctions	8m 48s
devmirror groups/abstract	4m 9s
proddb modular_curves	2m 12s
devmirror modular_curves	1m 35s
	1h 59m 0s

Provide feedback