Skip to content
Back to pull request #1806

Add is_nothing alias #651

Sign in to view logs

Add is_nothing alias

Add is_nothing alias #651

Run time

Learn about OS pricing on GitHub Actions
Job Run time
generatematrix
48s
matching: [Nemo#master,Singular#master] - ubuntu-latest, julia ~1.6.0-0
3m 55s
matching: [Nemo#master,Singular#master] - ubuntu-latest, julia ~1.10.0-0
5m 23s
[Nemo,Singular]#release - ubuntu-latest, julia ~1.6.0-0
3m 30s
[Nemo,Singular]#release - ubuntu-latest, julia ~1.10.0-0
4m 59s
18m 35s