Skip to content
Configuration options

fix the URL for libsemigroups in README.md #71

Sign in to view logs

fix the URL for libsemigroups in README.md

fix the URL for libsemigroups in README.md #71

Run time

Learn about OS pricing on GitHub Actions
Job Run time
enable-debug
7m 42s
with-external-libsemigroups
5m 59s
13m 41s