Skip to content

kernel: fix for HPCombi #180

kernel: fix for HPCombi

kernel: fix for HPCombi #180

Triggered via push January 24, 2024 08:06
Status Success
Total duration 14m 18s
Artifacts
enable-debug
9m 28s
enable-debug
enable-hpcombi
14m 8s
enable-hpcombi
with-external-libsemigroups
9m 18s
with-external-libsemigroups
Fit to window
Zoom out
Zoom in

Annotations

1 warning
enable-hpcombi
The following actions uses node12 which is deprecated and will be forced to run on node16: codecov/codecov-action@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/