Skip to content
Static check with Pyright

use Parent in quotient rings too #6337

Sign in to view logs

use Parent in quotient rings too

use Parent in quotient rings too #6337

Triggered via pull request February 11, 2025 16:39
@fchapotonfchapoton
synchronize #37158
fchapoton:use_parent_for_quotient_rings
Status Cancelled
Total duration 54m 43s
Artifacts –

pyright.yml

on: pull_request
pyright
0s
pyright
Fit to window
Zoom out
Zoom in

Annotations

1 error
pyright
Canceling since a higher priority waiting request for 'Static check with Pyright-refs/pull/37158/merge' exists