Skip to content
Back to pull request #36651

enhancements in infinite polynomial rings #8390

Sign in to view logs

enhancements in infinite polynomial rings

enhancements in infinite polynomial rings #8390

Triggered via pull request January 11, 2024 11:03
@fchapotonfchapoton
synchronize #36651
fchapoton:infinite_poly_gen
Status Success
Total duration 5m 37s
Artifacts –

lint.yml

on: pull_request
Lint
5m 28s
Lint
Fit to window
Zoom out
Zoom in