Rc v5.3.1 #106
Triggered via pull request
September 19, 2023 13:49
james-d-mitchell
Status
Success
Total duration
10m 50s
Artifacts
–
config-options.yml
on: pull_request
enable-debug
6m 37s
with-external-libsemigroups
5m 40s