buildsystem: sane warning if not using gmake #88
Triggered via pull request
September 14, 2023 08:41
james-d-mitchell
Status
Success
Total duration
11m 37s
Artifacts
–
config-options.yml
on: pull_request
enable-debug
8m 54s
with-external-libsemigroups
11m 26s