Skip to content

Rename number_of_* functions consistently #1765

Rename number_of_* functions consistently

Rename number_of_* functions consistently #1765

Triggered via pull request January 18, 2024 14:55
Status Cancelled
Total duration 21m 2s
Artifacts

oscar.yml

on: pull_request
generatematrix
54s
generatematrix
Matrix: test-oscar
Fit to window
Zoom out
Zoom in

Annotations

8 errors
matching: [Nemo#master,Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.9.0-0
Canceling since a higher priority waiting request for 'OscarCI-refs/pull/1553/merge-true' exists
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.6.0-0
Canceling since a higher priority waiting request for 'OscarCI-refs/pull/1553/merge-true' exists
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.6.0-0
The operation was canceled.
matching: [Nemo#master,Oscar#master,Hecke#master,Singular#master] - ubuntu-latest, julia ~1.6.0-0
Canceling since a higher priority waiting request for 'OscarCI-refs/pull/1553/merge-true' exists
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.9.0-0
Canceling since a higher priority waiting request for 'OscarCI-refs/pull/1553/merge-true' exists
[Nemo,Oscar,Hecke,Singular]#release - ubuntu-latest, julia ~1.9.0-0
The operation was canceled.