Work around autoconf 2.69 bugs · semigroups/Semigroups@e40a283

Triggered via pull request September 11, 2023 09:26

fingolfin

opened #947

Status Success

Total duration 4m 58s

Artifacts 1

manual.yml

on: pull_request

Produced during runtime

Name	Size
Semigroups manual Expired	4.28 MB