Skip to content
Configuration options

Update version numbers etc for v5.3.2 #141

Sign in to view logs

Update version numbers etc for v5.3.2

Update version numbers etc for v5.3.2 #141

Triggered via pull request October 7, 2023 13:28
@james-d-mitchelljames-d-mitchell
opened #963
rc-v5.3.2
Status Success
Total duration 16m 49s
Artifacts –

config-options.yml

on: pull_request
enable-debug
16m 39s
enable-debug
with-external-libsemigroups
16m 7s
with-external-libsemigroups
Fit to window
Zoom out
Zoom in