set rpath for external libsemigroups #94
Triggered via pull request
September 16, 2023 15:27
dimpase
Status
Success
Total duration
7m 19s
Artifacts
–
config-options.yml
on: pull_request
enable-debug
6m 47s
with-external-libsemigroups
7m 6s