Skip to content
OscarCI

Switch docs to build using Documenter 1.0 #1421

Sign in to view logs

Switch docs to build using Documenter 1.0

Switch docs to build using Documenter 1.0 #1421

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generatematrix
1m 16s
generatematrix
1m 16s
matching: [Nemo#master,Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.6.0-0
1h 58m 21s
matching: [Nemo#master,Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.6.0-0
2h 17m 51s
matching: [Nemo#master,Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.9.0-0
3h 13m 47s
matching: [Nemo#master,Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.9.0-0
3h 13m 47s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.6.0-0
3m 15s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.6.0-0
3m 15s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.9.0-0
2m 16s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.9.0-0
2m 16s
10h 57m 20s