Skip to content
Tests

Merge remote-tracking branch 'upstream/main' into wt/ai/t20-padic-fam… #201

Sign in to view logs

Merge remote-tracking branch 'upstream/main' into wt/ai/t20-padic-fam…

Merge remote-tracking branch 'upstream/main' into wt/ai/t20-padic-fam… #201

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Initial setup
8s
devmirror classical_modular_forms
13m 23s
devmirror belyi higher_genus_w_automorphisms hypergm lattice maass_forms tests users
3m 33s
devmirror lfunctions
3m 59s
devmirror modular_curves
8m 0s
devmirror abvar/fq bianchi_modular_forms number_fields
17m 5s
devmirror galois_groups siegel_modular_forms
6m 1s
devmirror groups/abstract
8m 59s
devmirror api characters cluster_pictures ecnf local_fields
14m 22s
devmirror artin_representations genus2_curves
4m 47s
devmirror lint
2m 18s
devmirror hilbert_modular_forms sato_tate_groups tests
10m 13s
devmirror elliptic_curves hecke_algebras tests
4m 58s
1h 37m 46s