Configuration options

Bump required version on libsemigroups #152

Sign in to view logs

Triggered via push January 5, 2024 15:13

james-d-mitchell

stable-5.3

Status Success

Total duration 11m 0s

Artifacts –

config-options.yml

on: push

with-external-libsemigroups