Skip to content
Configuration options

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

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 #248

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

config-options.yml

on: pull_request
enable-debug
10m 51s
enable-debug
enable-hpcombi
14m 20s
enable-hpcombi
with-external-libsemigroups
9m 53s
with-external-libsemigroups
Fit to window
Zoom out
Zoom in