Skip to content
Invalidations

Reapply "Fix printing multivariate polynomial ring with many variables (#1476)" #287

Sign in to view logs

Reapply "Fix printing multivariate polynomial ring with many variables (#1476)"

Reapply "Fix printing multivariate polynomial ring with many variables (#1476)" #287

Triggered via pull request November 3, 2023 09:42
@fingolfinfingolfin
synchronize #1489
th/revrevrev
Status Success
Total duration 4m 7s
Artifacts –

Invalidations.yml

on: pull_request
compare-invalidations
3m 57s
compare-invalidations
Fit to window
Zoom out
Zoom in