Merge pull request #6173 from fchapoton/remove_lgtm_config #3287

Job	Run time
Initial setup	4s
proddb lint	2m 7s
devmirror lint	2m 7s
proddb abvar/fq bianchi_modular_forms number_fields	4m 34s
devmirror abvar/fq bianchi_modular_forms number_fields	3m 37s
proddb galois_groups siegel_modular_forms	9m 4s
devmirror galois_groups siegel_modular_forms	5m 8s
proddb elliptic_curves hecke_algebras tests	3m 5s
devmirror elliptic_curves hecke_algebras tests	2m 35s
proddb hilbert_modular_forms sato_tate_groups tests	4m 5s
devmirror hilbert_modular_forms sato_tate_groups tests	2m 41s
proddb api characters cluster_pictures ecnf local_fields	2h 15m 51s
devmirror api characters cluster_pictures ecnf local_fields	2m 18s
proddb belyi higher_genus_w_automorphisms hypergm lattice maass_forms tests users	9m 17s
devmirror belyi higher_genus_w_automorphisms hypergm lattice maass_forms tests users	1m 49s
proddb artin_representations genus2_curves	2m 42s
devmirror artin_representations genus2_curves	1m 41s
proddb classical_modular_forms	6m 41s
devmirror classical_modular_forms	7m 18s
proddb lfunctions	6m 15s
devmirror lfunctions	3m 42s
devmirror groups/abstract	4m 39s
devmirror modular_curves	2m 29s
	3h 43m 49s

Provide feedback