Skip to content
Configuration options

Better dot #294

Sign in to view logs

Better dot

Better dot #294

Triggered via pull request May 15, 2024 12:08
@james-d-mitchelljames-d-mitchell
synchronize #1007
james-d-mitchell:better-dot
Status Failure
Total duration 9m 16s
Artifacts –

config-options.yml

on: pull_request
enable-debug
1m 17s
enable-debug
enable-hpcombi
9m 4s
enable-hpcombi
with-external-libsemigroups
1m 11s
with-external-libsemigroups
Fit to window
Zoom out
Zoom in

Annotations

3 errors
with-external-libsemigroups
Process completed with exit code 1.
enable-debug
Process completed with exit code 1.
enable-hpcombi
Process completed with exit code 1.