Skip to content
Configuration options

Better dot #291

Sign in to view logs

Better dot

Better dot #291

Triggered via pull request May 10, 2024 12:41
@james-d-mitchelljames-d-mitchell
synchronize #1007
james-d-mitchell:better-dot
Status Cancelled
Total duration 5m 43s
Artifacts –

config-options.yml

on: pull_request
enable-debug
1m 50s
enable-debug
enable-hpcombi
5m 35s
enable-hpcombi
with-external-libsemigroups
1m 4s
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
The run was canceled by @james-d-mitchell.