Skip to content
Configuration options

fix the URL for libsemigroups in README.md #73

Sign in to view logs

fix the URL for libsemigroups in README.md

fix the URL for libsemigroups in README.md #73

Triggered via push September 10, 2023 11:19
@james-d-mitchelljames-d-mitchell
pushed c819563
main
Status Success
Total duration 8m 8s
Artifacts –

config-options.yml

on: push
enable-debug
6m 16s
enable-debug
with-external-libsemigroups
7m 58s
with-external-libsemigroups
Fit to window
Zoom out
Zoom in

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.