Skip to content
Lint

adding the ring of quantum-valued polynomials #16432

Sign in to view logs

adding the ring of quantum-valued polynomials

adding the ring of quantum-valued polynomials #16432

Triggered via pull request November 11, 2024 08:06
@fchapotonfchapoton
synchronize #38952
fchapoton:quantum_valued
Status Success
Total duration 4m 31s
Artifacts –

lint.yml

on: pull_request
Lint
4m 21s
Lint
Fit to window
Zoom out
Zoom in