use install-sh etc from GAP · semigroups/Semigroups@8663493

Triggered via pull request September 10, 2023 11:04

dimpase

opened #946

Status Success

Total duration 5m 27s

Artifacts 1

manual.yml

on: pull_request

Produced during runtime

Name	Size
Semigroups manual Expired	4.28 MB