Skip to content
OscarCI

Move special printing macros to PrettyPrinting (#1592) #1891

Sign in to view logs

Move special printing macros to PrettyPrinting (#1592)

Move special printing macros to PrettyPrinting (#1592) #1891

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generatematrix
51s
[Nemo,Oscar,Hecke,Singular]#master - ubuntu-latest, julia ~1.6.0-0
1h 47m 34s
[Nemo,Oscar,Hecke,Singular]#master - ubuntu-latest, julia ~1.10.0-0
1h 58m 1s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.6.0-0
1m 46s
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.10.0-0
1m 43s
3h 49m 55s