Skip to content
Back to pull request #970

Update version numbers etc for v5.3.3 #154

Sign in to view logs

Update version numbers etc for v5.3.3

Update version numbers etc for v5.3.3 #154

Run time

Learn about OS pricing on GitHub Actions
Job Run time
enable-debug
9m 24s
with-external-libsemigroups
4m 55s
14m 19s