Skip to content
Configuration options

Better dot #293

Sign in to view logs

Better dot

Better dot #293

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

config-options.yml

on: pull_request
enable-debug
1m 35s
enable-debug
enable-hpcombi
9m 5s
enable-hpcombi
with-external-libsemigroups
1m 14s
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.