Skip to content
Static check with Pyright

use Parent in quotient rings too #6369

Sign in to view logs

use Parent in quotient rings too

use Parent in quotient rings too #6369

Triggered via pull request February 12, 2025 12:34
@fchapotonfchapoton
synchronize #37158
fchapoton:use_parent_for_quotient_rings
Status Success
Total duration 7m 21s
Artifacts –

pyright.yml

on: pull_request
pyright
7m 14s
pyright
Fit to window
Zoom out
Zoom in