Skip to content
Manual

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

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

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

manual.yml

on: pull_request
compile and upload manual
2m 35s
compile and upload manual
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Semigroups manual Expired
1.48 MB