Skip to content
Static check with Pyright

Constructor quaternion algebra over number fields from ramification #6673

Sign in to view logs

Constructor quaternion algebra over number fields from ramification

Constructor quaternion algebra over number fields from ramification #6673

Triggered via pull request February 21, 2025 22:16
@S17A05S17A05
synchronize #37189
Eloitor:quatalg_from_ramification
Status Cancelled
Total duration 21m 1s
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/37189/merge' exists