Skip to content
Configuration options

Better dot #292

Sign in to view logs

Better dot

Better dot #292

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

config-options.yml

on: pull_request
enable-debug
1m 11s
enable-debug
enable-hpcombi
3m 6s
enable-hpcombi
with-external-libsemigroups
58s
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.