fix the URL for libsemigroups in README.md #71
Triggered via pull request
September 10, 2023 10:07
Status
Success
Total duration
7m 53s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
config-options.yml
on: pull_request
enable-debug
7m 42s
with-external-libsemigroups
5m 59s
Annotations
1 warning
with-external-libsemigroups
This action is deprecated and no longer maintained. Please use mamba-org/setup-micromamba instead. See `https://github.com/mamba-org/provision-with-micromamba#migration-to-setup-micromamba` for a migration guide.
|