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

Triggered via pull request September 10, 2023 10:07
@dimpasedimpase
opened #945
dimpase:patch-1
Status Success
Total duration 7m 53s
Artifacts –

config-options.yml

on: pull_request
enable-debug
7m 42s
enable-debug
with-external-libsemigroups
5m 59s
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.