Skip to content

Actions: digraphs/Digraphs

Manual

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
968 workflow runs
968 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix planarity
Manual #2202: Pull request #696 synchronize by Joseph-Edwards
September 2, 2024 23:26 2m 42s Joseph-Edwards:fix-planarity
September 2, 2024 23:26 2m 42s
Fix planarity
Manual #2201: Pull request #696 synchronize by Joseph-Edwards
September 2, 2024 11:07 2m 42s Joseph-Edwards:fix-planarity
September 2, 2024 11:07 2m 42s
Add test for issue #676
Manual #2200: Commit 1a59c6e pushed by james-d-mitchell
September 2, 2024 08:45 3m 30s main
September 2, 2024 08:45 3m 30s
Add a test for issue #676
Manual #2199: Pull request #695 synchronize by james-d-mitchell
September 2, 2024 08:05 3m 23s wilfwilson:add-test-for-issue-676
September 2, 2024 08:05 3m 23s
Update version numbers etc for v1.9.0
Manual #2198: Pull request #694 synchronize by james-d-mitchell
September 2, 2024 07:56 2m 39s rc-v1.9.0
September 2, 2024 07:56 2m 39s
Add a test for issue #676
Manual #2197: Pull request #695 synchronize by james-d-mitchell
September 2, 2024 07:46 3m 8s wilfwilson:add-test-for-issue-676
September 2, 2024 07:46 3m 8s
Manual
Manual #2196: Scheduled
September 2, 2024 03:30 3m 33s main
September 2, 2024 03:30 3m 33s
Manual
Manual #2195: Scheduled
September 1, 2024 03:34 2m 46s main
September 1, 2024 03:34 2m 46s
Fix planarity
Manual #2194: Pull request #696 opened by Joseph-Edwards
August 31, 2024 22:49 2m 34s Joseph-Edwards:fix-planarity
August 31, 2024 22:49 2m 34s
Add a test for issue #676
Manual #2193: Pull request #695 opened by wilfwilson
August 31, 2024 20:54 2m 50s wilfwilson:add-test-for-issue-676
August 31, 2024 20:54 2m 50s
Update version numbers etc for v1.9.0
Manual #2192: Pull request #694 synchronize by james-d-mitchell
August 31, 2024 16:10 2m 54s rc-v1.9.0
August 31, 2024 16:10 2m 54s
Update version numbers etc for v1.9.0
Manual #2191: Pull request #694 opened by james-d-mitchell
August 31, 2024 16:08 2m 36s rc-v1.9.0
August 31, 2024 16:08 2m 36s
Merge branch 'stable-1.8'
Manual #2190: Commit 52ccbbb pushed by james-d-mitchell
August 31, 2024 15:48 2m 51s main
August 31, 2024 15:48 2m 51s
Update for recent gaplint
Manual #2189: Commit 51b442e pushed by james-d-mitchell
August 31, 2024 12:25 2m 36s main
August 31, 2024 12:25 2m 36s
Update for recent gaplint
Manual #2188: Pull request #693 opened by james-d-mitchell
August 31, 2024 12:04 2m 39s james-d-mitchell:gaplint-v1.3.2
August 31, 2024 12:04 2m 39s
Manual
Manual #2187: Scheduled
August 31, 2024 03:29 3m 20s main
August 31, 2024 03:29 3m 20s
Fix spacing
Manual #2186: Commit d56638c pushed by james-d-mitchell
August 30, 2024 21:25 3m 17s main
August 30, 2024 21:25 3m 17s
Add SubdigraphsMonomorphisms
Manual #2184: Commit d802909 pushed by james-d-mitchell
August 30, 2024 15:17 2m 49s main
August 30, 2024 15:17 2m 49s
Add VertexConnectivity
Manual #2182: Pull request #94 synchronize by reiniscirpons
August 30, 2024 14:28 2m 44s ffloresbrito:vertex-connectivity
August 30, 2024 14:28 2m 44s
Add SubdigraphsMonomorphisms
Manual #2181: Pull request #690 synchronize by james-d-mitchell
August 30, 2024 13:42 7m 22s james-d-mitchell:subgraphs
August 30, 2024 13:42 7m 22s
Lint for new version of gaplint
Manual #2180: Commit 1c4bf9d pushed by james-d-mitchell
August 30, 2024 12:44 3m 3s main
August 30, 2024 12:44 3m 3s
Add comment to remove rank
Manual #2179: Commit 24e824a pushed by james-d-mitchell
August 30, 2024 12:44 48s main
August 30, 2024 12:44 48s
Add comment to remove rank
Manual #2178: Pull request #692 opened by reiniscirpons
August 30, 2024 12:11 7m 53s reiniscirpons:acting-domain
August 30, 2024 12:11 7m 53s