Skip to content

Actions: digraphs/Digraphs

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow run results
45 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

September 12, 2023 16:06 32s
kernel: fix mem leaks for permutations allocated but not freed.
Manual #1366: Commit 3b33696 pushed by james-d-mitchell
September 12, 2023 16:06 4m 53s main
September 12, 2023 16:06 4m 53s
kernel: fix mem leaks for permutations allocated but not freed.
GAP #1713: Commit 3b33696 pushed by james-d-mitchell
September 12, 2023 16:06 49m 16s main
September 12, 2023 16:06 49m 16s
ci: move checking of external planarity to gh actions
Manual #1364: Commit f48a930 pushed by james-d-mitchell
September 12, 2023 14:57 3m 53s main
September 12, 2023 14:57 3m 53s
ci: move checking of external planarity to gh actions
Lint #1712: Commit f48a930 pushed by james-d-mitchell
September 12, 2023 14:57 23s main
September 12, 2023 14:57 23s
ci: move checking of external planarity to gh actions
GAP #1711: Commit f48a930 pushed by james-d-mitchell
September 12, 2023 14:57 49m 43s main
September 12, 2023 14:57 49m 43s
ci: move checking of external planarity to gh actions
Manual #1363: Pull request #590 synchronize by james-d-mitchell
September 12, 2023 13:28 3m 49s james-d-mitchell:update-ci
September 12, 2023 13:28 3m 49s
ci: move checking of external planarity to gh actions
GAP #1710: Pull request #590 synchronize by james-d-mitchell
September 12, 2023 13:28 46m 46s james-d-mitchell:update-ci
September 12, 2023 13:28 46m 46s
ci: move checking of external planarity to gh actions
GAP #1709: Pull request #590 synchronize by james-d-mitchell
September 12, 2023 12:31 46m 41s james-d-mitchell:update-ci
September 12, 2023 12:31 46m 41s
ci: move checking of external planarity to gh actions
Manual #1362: Pull request #590 synchronize by james-d-mitchell
September 12, 2023 12:31 4m 26s james-d-mitchell:update-ci
September 12, 2023 12:31 4m 26s
GAP
GAP #1706: Scheduled
July 22, 2023 03:36 30m 23s main
July 22, 2023 03:36 30m 23s
Lint
Lint #1707: Scheduled
July 22, 2023 03:34 24s main
July 22, 2023 03:34 24s
Manual
Manual #1359: Scheduled
July 22, 2023 03:23 3m 33s main
July 22, 2023 03:23 3m 33s
GAP
GAP #1705: Scheduled
July 21, 2023 03:36 26m 22s main
July 21, 2023 03:36 26m 22s