Skip to content
Lint

adding the ring of quantum-valued polynomials #16426

Sign in to view logs

adding the ring of quantum-valued polynomials

adding the ring of quantum-valued polynomials #16426

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

lint.yml

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