Skip to content
docstring test

Automorphism Groups of Enriques surfaces #1115

Sign in to view logs

Automorphism Groups of Enriques surfaces

Automorphism Groups of Enriques surfaces #1115

Triggered via pull request February 6, 2025 14:58
@simonbrandhorstsimonbrandhorst
synchronize #4540
sb/enriques_wip
Status Success
Total duration 2m 25s
Artifacts –

Docstrings.yml

on: pull_request
check-docstrings
2m 13s
check-docstrings
Fit to window
Zoom out
Zoom in