Skip to content
Lint

Constructor quaternion algebra over number fields from ramification #18841

Sign in to view logs

Constructor quaternion algebra over number fields from ramification

Constructor quaternion algebra over number fields from ramification #18841

Triggered via pull request February 21, 2025 22:16
@S17A05S17A05
synchronize #37189
Eloitor:quatalg_from_ramification
Status Cancelled
Total duration 21m 1s
Artifacts –

lint.yml

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

Annotations

1 error
Lint
Canceling since a higher priority waiting request for 'Lint-refs/pull/37189/merge' exists