Merge pull request #5669 from edgarcosta/Ldir #2250

Job	Run time
Initial setup	5s
proddb lint	3m 5s
devmirror lint	2m 44s
proddb abvar/fq bianchi_modular_forms number_fields	3m 45s
devmirror abvar/fq bianchi_modular_forms number_fields	6m 41s
proddb galois_groups siegel_modular_forms	5m 43s
devmirror galois_groups siegel_modular_forms	5m 21s
proddb elliptic_curves hecke_algebras tests	2m 53s
devmirror elliptic_curves hecke_algebras tests	2m 41s
proddb hilbert_modular_forms sato_tate_groups tests	3m 14s
devmirror hilbert_modular_forms sato_tate_groups tests	3m 0s
proddb api characters cluster_pictures ecnf local_fields	3m 7s
devmirror api characters cluster_pictures ecnf local_fields	3m 45s
proddb belyi higher_genus_w_automorphisms lattice maass_forms tests users	6m 12s
devmirror belyi higher_genus_w_automorphisms lattice maass_forms tests users	2m 7s
proddb artin_representations genus2_curves	4m 0s
devmirror artin_representations genus2_curves	3m 13s
proddb classical_modular_forms	12m 22s
devmirror classical_modular_forms	12m 11s
proddb lfunctions	9m 50s
devmirror lfunctions	10m 39s
proddb groups/abstract	4m 51s
devmirror groups/abstract	4m 23s
proddb modular_curves	1m 31s
devmirror modular_curves	1m 31s
	1h 58m 54s

Provide feedback