Skip to content
Cleanup Doc Preview

switch to a better Julia to GAP conversion #2693

Sign in to view logs

switch to a better Julia to GAP conversion

switch to a better Julia to GAP conversion #2693

Triggered via pull request September 27, 2024 15:14
@fingolfinfingolfin
closed #4086
ThomasBreuer:TB_julia_to_gap
Status Success
Total duration 21s
Artifacts –

CleanupDocPreview.yml

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