add `number_of_generators` for `UniversalPolyRing` (#1795) #662

Sign in to view logs

Triggered via push September 20, 2024 20:34

fingolfin

master

Status Success

Total duration 1h 34m 43s

Artifacts –

hecke.yml

on: push

Matrix: test-oscar