Skip to content
Back to pull request #6135

main -> web #3207

Sign in to view logs

main -> web

main -> web #3207

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Initial setup
5s
proddb lint
1m 51s
devmirror lint
1m 51s
proddb abvar/fq bianchi_modular_forms number_fields
3m 21s
devmirror abvar/fq bianchi_modular_forms number_fields
4m 18s
proddb galois_groups siegel_modular_forms
5m 37s
devmirror galois_groups siegel_modular_forms
2m 50s
proddb elliptic_curves hecke_algebras tests
2m 8s
devmirror elliptic_curves hecke_algebras tests
2m 20s
proddb hilbert_modular_forms sato_tate_groups tests
2m 51s
devmirror hilbert_modular_forms sato_tate_groups tests
3m 52s
proddb api characters cluster_pictures ecnf local_fields
3m 44s
devmirror api characters cluster_pictures ecnf local_fields
3m 58s
proddb belyi higher_genus_w_automorphisms hypergm lattice maass_forms tests users
10m 21s
devmirror belyi higher_genus_w_automorphisms hypergm lattice maass_forms tests users
2m 31s
proddb artin_representations genus2_curves
3m 6s
devmirror artin_representations genus2_curves
3m 59s
proddb classical_modular_forms
3m 25s
devmirror classical_modular_forms
6m 42s
proddb lfunctions
5m 16s
devmirror lfunctions
2m 8s
devmirror groups/abstract
6m 13s
devmirror modular_curves
4m 20s
1h 26m 47s