Skip to content
Run tests

Automorphism Groups of Enriques surfaces #18622

Sign in to view logs

Automorphism Groups of Enriques surfaces

Automorphism Groups of Enriques surfaces #18622

Triggered via pull request February 6, 2025 15:05
@simonbrandhorstsimonbrandhorst
synchronize #4540
sb/enriques_wip
Status Cancelled
Total duration 11s
Artifacts –

CI.yml

on: pull_request
extra-long-test
extra-long-test
Matrix: doctest
Waiting for pending jobs
Matrix: test
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error
Run tests
Canceling since a higher priority waiting request for 'Run tests-refs/pull/4540/merge-true' exists