fix: don't use polynomial rings over zero rings #3296
Triggered via pull request
November 15, 2024 20:28
thofma
Status
Success
Total duration
2h 54m 57s
Artifacts
–
oscar.yml
on: pull_request
generatematrix
49s
Matrix: test-oscar