Skip to content
Workspaces

Workaround for GAP 4.12 test failure due to new GAPDoc version #290

Sign in to view logs

Workaround for GAP 4.12 test failure due to new GAPDoc version

Workaround for GAP 4.12 test failure due to new GAPDoc version #290

Triggered via pull request March 8, 2024 16:28
@fingolfinfingolfin
synchronize #1004
fingolfin:mh/workaround
Status Success
Total duration 1m 35s
Artifacts –

workspaces.yml

on: pull_request
GAP 4.12.2 / ubuntu / 64-bit
1m 25s
GAP 4.12.2 / ubuntu / 64-bit
Fit to window
Zoom out
Zoom in