Tests

Merge remote-tracking branch 'upstream/main' into wt/ai/t31-active-co… #180

Job	Run time
Initial setup	6s
devmirror elliptic_curves hecke_algebras tests	8m 33s
devmirror lfunctions	6m 4s
devmirror galois_groups siegel_modular_forms	6m 4s
devmirror abvar/fq bianchi_modular_forms number_fields	6m 57s
devmirror classical_modular_forms	14m 33s
devmirror modular_curves	7m 6s
devmirror belyi higher_genus_w_automorphisms hypergm lattice maass_forms tests users	2m 43s
devmirror hilbert_modular_forms sato_tate_groups tests	4m 6s
devmirror lint	2m 23s
devmirror api characters cluster_pictures ecnf local_fields	14m 1s
devmirror groups/abstract	10m 13s
devmirror artin_representations genus2_curves	3m 21s
	1h 26m 10s

Navigation Menu