Skip to content
Configuration options

ci: update micromamba action #80

Sign in to view logs

ci: update micromamba action

ci: update micromamba action #80

Triggered via pull request September 12, 2023 12:20
@james-d-mitchelljames-d-mitchell
synchronize #950
james-d-mitchell:update-micromamba
Status Success
Total duration 8m 8s
Artifacts –

config-options.yml

on: pull_request
enable-debug
6m 59s
enable-debug
with-external-libsemigroups
7m 57s
with-external-libsemigroups
Fit to window
Zoom out
Zoom in