Skip to content
Static check with Pyright

Constructor quaternion algebra over number fields from ramification #5839

Sign in to view logs

Constructor quaternion algebra over number fields from ramification

Constructor quaternion algebra over number fields from ramification #5839

Triggered via pull request January 24, 2025 12:36
@fchapotonfchapoton
synchronize #37189
Eloitor:quatalg_from_ramification
Status Success
Total duration 7m 36s
Artifacts –

pyright.yml

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

Annotations

1 warning
pyright
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636