Skip to content
Cleanup Doc Preview

switch to a better Julia to GAP conversion #2687

Sign in to view logs

switch to a better Julia to GAP conversion

switch to a better Julia to GAP conversion #2687

Triggered via pull request September 26, 2024 07:42
@lgoettgenslgoettgens
closed #4086
ThomasBreuer:TB_julia_to_gap
Status Success
Total duration 27s
Artifacts –

CleanupDocPreview.yml

on: pull_request
cleanup-doc-preview
16s
cleanup-doc-preview
Fit to window
Zoom out
Zoom in