Merge pull request #6182 from fchapoton/activation_E111 #3297

Job	Run time
Initial setup	4s
proddb lint	2m 5s
devmirror lint	1m 48s
proddb abvar/fq bianchi_modular_forms number_fields	3m 24s
devmirror abvar/fq bianchi_modular_forms number_fields	3m 53s
proddb galois_groups siegel_modular_forms	4m 16s
devmirror galois_groups siegel_modular_forms	4m 53s
proddb elliptic_curves hecke_algebras tests	1m 36s
devmirror elliptic_curves hecke_algebras tests	3m 1s
proddb hilbert_modular_forms sato_tate_groups tests	4m 17s
devmirror hilbert_modular_forms sato_tate_groups tests	2m 41s
proddb api characters cluster_pictures ecnf local_fields	3m 26s
devmirror api characters cluster_pictures ecnf local_fields	3m 48s
proddb belyi higher_genus_w_automorphisms hypergm lattice maass_forms tests users	14m 18s
devmirror belyi higher_genus_w_automorphisms hypergm lattice maass_forms tests users	1m 53s
proddb artin_representations genus2_curves	4m 40s
devmirror artin_representations genus2_curves	3m 52s
proddb classical_modular_forms	3m 30s
devmirror classical_modular_forms	4m 3s
proddb lfunctions	3m 40s
devmirror lfunctions	5m 9s
devmirror groups/abstract	4m 22s
devmirror modular_curves	3m 53s
	1h 28m 32s

Provide feedback