Skip to content

Actions: digraphs/Digraphs

GAP

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
589 workflow runs
589 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci: clean up gap.yml
GAP #1720: Commit 39b69b1 pushed by james-d-mitchell
September 13, 2023 14:08 Failure rc-v1.6.3
September 13, 2023 14:08 Failure
Release candidate for v1.6.3
GAP #1719: Pull request #591 synchronize by james-d-mitchell
September 13, 2023 13:48 5m 28s rc-v1.6.3
September 13, 2023 13:48 5m 28s
Update version numbers etc for v1.6.3
GAP #1718: Commit 9ec20a5 pushed by james-d-mitchell
September 13, 2023 13:48 46m 15s rc-v1.6.3
September 13, 2023 13:48 46m 15s
Release candidate for v1.6.3
GAP #1717: Pull request #591 opened by james-d-mitchell
September 13, 2023 13:40 4m 27s rc-v1.6.3
September 13, 2023 13:40 4m 27s
Update version numbers etc for v1.6.3
GAP #1716: Commit ad46821 pushed by james-d-mitchell
September 13, 2023 13:39 48m 10s rc-v1.6.3
September 13, 2023 13:39 48m 10s
Update version numbers etc for v1.6.3
GAP #1715: Commit 4b76d7a pushed by james-d-mitchell
September 13, 2023 13:30 53m 20s rc-v1.6.3
September 13, 2023 13:30 53m 20s
GAP
GAP #1714: Scheduled
September 13, 2023 03:32 50m 48s main
September 13, 2023 03:32 50m 48s
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
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
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
ProTip! You can narrow down the results and go further in time using created:<2023-09-12 or the other filters available.