Skip to content

Update version numbers etc for v5.3.5 #235

Update version numbers etc for v5.3.5

Update version numbers etc for v5.3.5 #235

Triggered via push February 14, 2024 10:51
Status Success
Total duration 14m 19s
Artifacts
enable-debug
5m 14s
enable-debug
enable-hpcombi
14m 9s
enable-hpcombi
with-external-libsemigroups
8m 54s
with-external-libsemigroups
Fit to window
Zoom out
Zoom in

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