Skip to content
Lint

adding the ring of quantum-valued polynomials #16423

Sign in to view logs

adding the ring of quantum-valued polynomials

adding the ring of quantum-valued polynomials #16423

Triggered via pull request November 10, 2024 16:32
@fchapotonfchapoton
synchronize #38952
fchapoton:quantum_valued
Status Success
Total duration 4m 25s
Artifacts –

lint.yml

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