Skip to content
Back to pull request #6294

main -> dev #3495

Sign in to view logs

main -> dev

main -> dev #3495

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Initial setup
4s
proddb lint
1m 54s
devmirror lint
2m 0s
proddb abvar/fq bianchi_modular_forms number_fields
5m 31s
devmirror abvar/fq bianchi_modular_forms number_fields
4m 40s
proddb galois_groups siegel_modular_forms
4m 23s
devmirror galois_groups siegel_modular_forms
8m 16s
proddb elliptic_curves hecke_algebras tests
2m 21s
devmirror elliptic_curves hecke_algebras tests
3m 59s
proddb hilbert_modular_forms sato_tate_groups tests
3m 59s
devmirror hilbert_modular_forms sato_tate_groups tests
2m 0s
proddb api characters cluster_pictures ecnf local_fields
12m 8s
devmirror api characters cluster_pictures ecnf local_fields
3m 44s
proddb belyi higher_genus_w_automorphisms hypergm lattice maass_forms tests users
9m 35s
devmirror belyi higher_genus_w_automorphisms hypergm lattice maass_forms tests users
2m 19s
proddb artin_representations genus2_curves
2m 40s
devmirror artin_representations genus2_curves
2m 24s
proddb classical_modular_forms
6m 8s
devmirror classical_modular_forms
6m 39s
proddb lfunctions
3m 51s
devmirror lfunctions
3m 36s
devmirror groups/abstract
7m 22s
devmirror modular_curves
7m 41s
1h 47m 14s