Support `@polynomial_ring(QQ, 2)` wanted in #1762 (#1763) #1

Sign in to view logs

Triggered via push August 2, 2024 08:58

mgkurtz

master

Status Success

Total duration 11m 31s

Artifacts –

nemo.yml

on: push

Matrix: test-oscar