Configuration options

libsemigroups v2.7.2 #151

Sign in to view logs

Triggered via pull request January 5, 2024 10:13

james-d-mitchell

synchronize #969

james-d-mitchell:libsemigroups-v2.7.2

Status Success

Total duration 9m 23s

Artifacts –

config-options.yml

on: pull_request

with-external-libsemigroups