Update version numbers etc for v5.3.5 #235
config-options.yml
on: push
enable-debug
5m 14s
enable-hpcombi
14m 9s
with-external-libsemigroups
8m 54s
Annotations
1 warning
enable-hpcombi
Codecov: Failed to properly create commit: The process '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 1
|