Skip to content
Configuration options

use install-sh etc from GAP #72

Sign in to view logs

use install-sh etc from GAP

use install-sh etc from GAP #72

Triggered via pull request September 10, 2023 11:04
@dimpasedimpase
opened #946
dimpase:fix_config_files
Status Success
Total duration 7m 7s
Artifacts –

config-options.yml

on: pull_request
enable-debug
6m 20s
enable-debug
with-external-libsemigroups
6m 55s
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.