Skip to content
NemoCI

Require non-zero coefficient ring in universal polynomial ring #815

Sign in to view logs

Require non-zero coefficient ring in universal polynomial ring

Require non-zero coefficient ring in universal polynomial ring #815

Triggered via pull request October 11, 2024 08:37
@lgoettgenslgoettgens
opened #1858
lgoettgens:lg/req-is-not-trivial-univpoly
Status Success
Total duration 12m 43s
Artifacts –

nemo.yml

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