Skip to content

Actions: digraphs/graphviz

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
236 workflow runs
236 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cleanups codespell #6: Pull request #21 synchronize by james-d-mitchell
May 14, 2024 18:21 22s james-d-mitchell:cleanups
james-d-mitchell:cleanups
May 14, 2024 18:21 22s
Cleanups Lint #31: Pull request #21 synchronize by james-d-mitchell
May 14, 2024 16:44 16s james-d-mitchell:cleanups
james-d-mitchell:cleanups
May 14, 2024 16:44 16s
Cleanups codespell #5: Pull request #21 synchronize by james-d-mitchell
May 14, 2024 16:44 17s james-d-mitchell:cleanups
james-d-mitchell:cleanups
May 14, 2024 16:44 17s
Cleanups GAP #24: Pull request #21 synchronize by james-d-mitchell
May 14, 2024 16:44 1m 28s james-d-mitchell:cleanups
james-d-mitchell:cleanups
May 14, 2024 16:44 1m 28s
Fixing node and edge numbers in graphs containing subgraphs. codespell #4: Pull request #22 opened by mpan322
May 14, 2024 13:27 19s mpan322:main
mpan322:main
May 14, 2024 13:27 19s
Fixing node and edge numbers in graphs containing subgraphs. GAP #23: Pull request #22 opened by mpan322
May 14, 2024 13:27 1m 15s mpan322:main
mpan322:main
May 14, 2024 13:27 1m 15s
Fixing node and edge numbers in graphs containing subgraphs. Lint #30: Pull request #22 opened by mpan322
May 14, 2024 13:27 16s mpan322:main
mpan322:main
May 14, 2024 13:27 16s
Cleanups GAP #22: Pull request #21 opened by james-d-mitchell
May 14, 2024 09:00 1m 19s james-d-mitchell:cleanups
james-d-mitchell:cleanups
May 14, 2024 09:00 1m 19s
Cleanups codespell #3: Pull request #21 opened by james-d-mitchell
May 14, 2024 09:00 17s james-d-mitchell:cleanups
james-d-mitchell:cleanups
May 14, 2024 09:00 17s
Cleanups Lint #29: Pull request #21 opened by james-d-mitchell
May 14, 2024 09:00 15s james-d-mitchell:cleanups
james-d-mitchell:cleanups
May 14, 2024 09:00 15s
Lint Lint #28: Scheduled
May 14, 2024 03:37 14s main
main
May 14, 2024 03:37 14s
Fix spelling codespell #2: Commit 590086c pushed by james-d-mitchell
May 13, 2024 09:01 18s main
main
May 13, 2024 09:01 18s
Fix spelling Lint #27: Commit 590086c pushed by james-d-mitchell
May 13, 2024 09:01 15s main
main
May 13, 2024 09:01 15s
Fix spelling GAP #21: Commit 590086c pushed by james-d-mitchell
May 13, 2024 09:01 1m 28s main
main
May 13, 2024 09:01 1m 28s
Add codespell CI job and fix spelling codespell #1: Pull request #17 opened by james-d-mitchell
May 13, 2024 08:59 23s james-d-mitchell:ci
james-d-mitchell:ci
May 13, 2024 08:59 23s
Add codespell CI job and fix spelling Lint #26: Pull request #17 opened by james-d-mitchell
May 13, 2024 08:59 18s james-d-mitchell:ci
james-d-mitchell:ci
May 13, 2024 08:59 18s
Add codespell CI job and fix spelling GAP #20: Pull request #17 opened by james-d-mitchell
May 13, 2024 08:59 1m 22s james-d-mitchell:ci
james-d-mitchell:ci
May 13, 2024 08:59 1m 22s
Lint Lint #25: Scheduled
May 13, 2024 03:35 17s main
main
May 13, 2024 03:35 17s
Lint Lint #24: Scheduled
May 12, 2024 03:36 15s main
main
May 12, 2024 03:36 15s
Lint Lint #23: Scheduled
May 11, 2024 03:35 14s main
main
May 11, 2024 03:35 14s
Lower the required GAP version to 4.10.0 GAP #19: Pull request #16 opened by james-d-mitchell
May 10, 2024 09:29 1m 26s james-d-mitchell:lower-required-gap-version
james-d-mitchell:lower-required-gap-version
May 10, 2024 09:29 1m 26s
Lower the required GAP version to 4.10.0 Lint #22: Pull request #16 opened by james-d-mitchell
May 10, 2024 09:29 15s james-d-mitchell:lower-required-gap-version
james-d-mitchell:lower-required-gap-version
May 10, 2024 09:29 15s
Lint Lint #21: Scheduled
May 10, 2024 03:37 18s main
main
May 10, 2024 03:37 18s
Updates for the Digraphs package Lint #20: Commit d92d66f pushed by james-d-mitchell
May 9, 2024 16:17 13s main
main
May 9, 2024 16:17 13s
Updates for the Digraphs package GAP #18: Commit d92d66f pushed by james-d-mitchell
May 9, 2024 16:17 1m 36s main
main
May 9, 2024 16:17 1m 36s