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

added more details CI #64: Commit 5de41d1 pushed by egri-nagy
August 11, 2023 01:04 15m 23s master
master
August 11, 2023 01:04 15m 23s
pages build and deployment pages-build-deployment #35: by egri-nagy
August 11, 2023 01:04 48s
August 11, 2023 01:04 48s
adding the factorized words CI #63: Commit ad7cd07 pushed by egri-nagy
August 10, 2023 20:18 21s master
master
August 10, 2023 20:18 21s
pages build and deployment pages-build-deployment #34: by egri-nagy
August 10, 2023 20:18 1m 29s
August 10, 2023 20:18 1m 29s
Merge branch 'master' of https://github.com/gap-packages/sgpdec CI #62: Commit 601d0a6 pushed by nehaniv
August 10, 2023 17:54 16m 54s master
master
August 10, 2023 17:54 16m 54s
pages build and deployment pages-build-deployment #33: by nehaniv
August 10, 2023 17:54 52s
August 10, 2023 17:54 52s
BUGFIX: when computing the partial order of subduction representative… CI #61: Commit 1ac7305 pushed by egri-nagy
August 10, 2023 17:52 2m 55s master
master
August 10, 2023 17:52 2m 55s
pages build and deployment pages-build-deployment #32: by egri-nagy
August 10, 2023 17:52 48s
August 10, 2023 17:52 48s
pages build and deployment pages-build-deployment #31: by egri-nagy
August 10, 2023 15:51 51s
August 10, 2023 15:51 51s
the D-classes are grouped by their images CI #60: Commit a95d21f pushed by egri-nagy
August 10, 2023 15:50 10m 13s master
master
August 10, 2023 15:50 10m 13s
working version of the surjective morphism map CI #59: Commit b9a8b84 pushed by egri-nagy
August 10, 2023 13:25 12m 34s master
master
August 10, 2023 13:25 12m 34s
pages build and deployment pages-build-deployment #30: by egri-nagy
August 10, 2023 13:25 58s
August 10, 2023 13:25 58s
1/3 is done CI #58: Commit ebb81ec pushed by egri-nagy
August 10, 2023 12:27 16m 2s master
master
August 10, 2023 12:27 16m 2s
pages build and deployment pages-build-deployment #29: by egri-nagy
August 10, 2023 12:27 48s
August 10, 2023 12:27 48s
started to work on the Surjective Morphism visualization CI #57: Commit 184279a pushed by egri-nagy
August 10, 2023 11:28 15m 13s master
master
August 10, 2023 11:28 15m 13s
pages build and deployment pages-build-deployment #28: by egri-nagy
August 10, 2023 11:28 52s
August 10, 2023 11:28 52s
simplifications CI #56: Commit d0d2496 pushed by egri-nagy
August 9, 2023 23:49 14m 50s master
master
August 9, 2023 23:49 14m 50s
pages build and deployment pages-build-deployment #27: by egri-nagy
August 9, 2023 23:49 46s
August 9, 2023 23:49 46s
no need to pass the semigroup if the skeleton is given CI #55: Commit dd268be pushed by egri-nagy
August 9, 2023 20:51 13m 8s master
master
August 9, 2023 20:51 13m 8s
pages build and deployment pages-build-deployment #26: by egri-nagy
August 9, 2023 20:51 1m 57s
August 9, 2023 20:51 1m 57s
Implemented essential dependency check. (#26) CI #54: Commit ef0341c pushed by egri-nagy
August 9, 2023 20:47 12m 47s master
master
August 9, 2023 20:47 12m 47s
pages build and deployment pages-build-deployment #25: by egri-nagy
August 9, 2023 20:47 56s
August 9, 2023 20:47 56s
Implemented essential dependency check. CI #53: Pull request #26 synchronize by thomasgaozx
August 9, 2023 20:31 15m 2s thomasgaozx:master
thomasgaozx:master
August 9, 2023 20:31 15m 2s
partial orbit calculation memoization removed CI #51: Commit 52c2080 pushed by egri-nagy
August 9, 2023 19:44 18m 40s master
master
August 9, 2023 19:44 18m 40s
pages build and deployment pages-build-deployment #24: by egri-nagy
August 9, 2023 19:44 2m 50s
August 9, 2023 19:44 2m 50s