Skip to content

Actions: gap-packages/sgpdec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
170 workflow runs
170 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

checking for subduction more efficiently CI #50: Commit 042b365 pushed by egri-nagy
August 9, 2023 19:12 16m 38s master
master
August 9, 2023 19:12 16m 38s
pages build and deployment pages-build-deployment #23: by egri-nagy
August 9, 2023 19:12 56s
August 9, 2023 19:12 56s
readability improvements CI #49: Commit 676522b pushed by egri-nagy
August 9, 2023 17:05 13m 18s master
master
August 9, 2023 17:05 13m 18s
pages build and deployment pages-build-deployment #22: by egri-nagy
August 9, 2023 17:05 49s
August 9, 2023 17:05 49s
removing old stuff now CI #48: Commit 50e0e93 pushed by egri-nagy
August 9, 2023 13:34 13m 56s master
master
August 9, 2023 13:34 13m 56s
pages build and deployment pages-build-deployment #21: by egri-nagy
August 9, 2023 13:34 59s
August 9, 2023 13:34 59s
working for subrephd, but it is not subrep though CI #47: Commit 6aa7719 pushed by egri-nagy
August 9, 2023 03:17 14m 58s master
master
August 9, 2023 03:17 14m 58s
pages build and deployment pages-build-deployment #20: by egri-nagy
August 9, 2023 03:17 45s
August 9, 2023 03:17 45s
just machine switching commit CI #46: Commit c6682bd pushed by egri-nagy
August 9, 2023 00:12 15m 13s master
master
August 9, 2023 00:12 15m 13s
pages build and deployment pages-build-deployment #19: by egri-nagy
August 9, 2023 00:12 50s
August 9, 2023 00:12 50s
adding warning and TODO CI #45: Commit 2414f74 pushed by egri-nagy
August 8, 2023 20:49 13m 31s master
master
August 8, 2023 20:49 13m 31s
pages build and deployment pages-build-deployment #18: by egri-nagy
August 8, 2023 20:49 54s
August 8, 2023 20:49 54s
removing MaximalSubSets CI #44: Commit 1a7bf50 pushed by egri-nagy
August 8, 2023 18:45 16m 13s master
master
August 8, 2023 18:45 16m 13s
pages build and deployment pages-build-deployment #17: by egri-nagy
August 8, 2023 18:45 44s
August 8, 2023 18:45 44s
opening the next development phase CI #43: Commit 78ae0af pushed by egri-nagy
August 8, 2023 17:40 16m 48s master
master
August 8, 2023 17:40 16m 48s
pages build and deployment pages-build-deployment #16: by egri-nagy
August 8, 2023 17:40 54s
August 8, 2023 17:40 54s
bringing the script up to date CI #42: Commit 5d6c764 pushed by egri-nagy
August 8, 2023 15:01 15m 10s master
master
August 8, 2023 15:01 15m 10s
pages build and deployment pages-build-deployment #15: by egri-nagy
August 8, 2023 15:01 49s
August 8, 2023 15:01 49s
Merge branch 'master' of github.com:gap-packages/sgpdec CI #41: Commit 467fbb3 pushed by egri-nagy
July 28, 2023 00:56 14m 48s master
master
July 28, 2023 00:56 14m 48s
pages build and deployment pages-build-deployment #14: by egri-nagy
July 28, 2023 00:56 47s
July 28, 2023 00:56 47s