Skip to content
Configuration options

Update version numbers etc for v5.3.2 #142

Sign in to view logs

Update version numbers etc for v5.3.2

Update version numbers etc for v5.3.2 #142

Triggered via push October 7, 2023 15:31
@james-d-mitchelljames-d-mitchell
pushed d1b7b2a
stable-5.3
Status Success
Total duration 12m 43s
Artifacts –

config-options.yml

on: push
enable-debug
12m 34s
enable-debug
with-external-libsemigroups
5m 56s
with-external-libsemigroups
Fit to window
Zoom out
Zoom in