Skip to content
HeckeCI

Add is_nothing alias #652

Sign in to view logs

Add is_nothing alias

Add is_nothing alias #652

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generatematrix
51s
matching: [Nemo#master,Hecke#master] - ubuntu-latest, julia ~1.6.0-0
39m 29s
matching: [Nemo#master,Hecke#master] - ubuntu-latest, julia ~1.10.0-0
41m 54s
[Nemo,Hecke]#release - ubuntu-latest, julia ~1.6.0-0
37m 14s
[Nemo,Hecke]#release - ubuntu-latest, julia ~1.10.0-0
39m 43s
2h 39m 11s