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

PERFORMANCE REGRESSION FIX: generic HasseDiagramBinaryRelation slowed… CI #90: Commit d7cc604 pushed by egri-nagy
November 11, 2023 05:12 16m 30s master
master
November 11, 2023 05:12 16m 30s
pages build and deployment pages-build-deployment #59: by egri-nagy
November 11, 2023 05:12 1m 1s
November 11, 2023 05:12 1m 1s
separating the compute code for the caching of navigation words and t… CI #89: Commit a96d7d6 pushed by egri-nagy
November 11, 2023 03:13 17m 20s master
master
November 11, 2023 03:13 17m 20s
pages build and deployment pages-build-deployment #58: by egri-nagy
November 11, 2023 03:13 55s
November 11, 2023 03:13 55s
Implemented O(N^2) max chain of essential dependency. CI #88: Pull request #27 synchronize by thomasgaozx
October 28, 2023 23:05 17m 6s thomasgaozx:lb
thomasgaozx:lb
October 28, 2023 23:05 17m 6s
Implemented O(N^2) max chain of essential dependency. CI #87: Pull request #27 opened by thomasgaozx
October 28, 2023 01:37 18m 3s thomasgaozx:lb
thomasgaozx:lb
October 28, 2023 01:37 18m 3s
minor changes CI #86: Commit c2e90c1 pushed by egri-nagy
September 5, 2023 05:51 13m 24s master
master
September 5, 2023 05:51 13m 24s
pages build and deployment pages-build-deployment #57: by egri-nagy
September 5, 2023 05:51 54s
September 5, 2023 05:51 54s
removing code that exists in the library CI #85: Commit 74f0169 pushed by egri-nagy
September 5, 2023 04:49 15m 10s master
master
September 5, 2023 04:49 15m 10s
pages build and deployment pages-build-deployment #56: by egri-nagy
September 5, 2023 04:49 3m 2s
September 5, 2023 04:49 3m 2s
preparing release CI #84: Commit 91deff0 pushed by egri-nagy
September 1, 2023 12:07 15m 22s master
master
September 1, 2023 12:07 15m 22s
pages build and deployment pages-build-deployment #55: by egri-nagy
September 1, 2023 12:07 1m 4s
September 1, 2023 12:07 1m 4s
cleanup, putting back tests CI #83: Commit 74c8b32 pushed by egri-nagy
September 1, 2023 08:40 14m 53s master
master
September 1, 2023 08:40 14m 53s
pages build and deployment pages-build-deployment #54: by egri-nagy
September 1, 2023 08:40 1m 4s
September 1, 2023 08:40 1m 4s
temporarliy removing old tests for the linear notation CI #82: Commit 94b048a pushed by egri-nagy
August 31, 2023 07:13 17m 12s master
master
August 31, 2023 07:13 17m 12s
pages build and deployment pages-build-deployment #53: by egri-nagy
August 31, 2023 07:13 54s
August 31, 2023 07:13 54s
removing legacy code that is not relevant any more CI #81: Commit 60f2367 pushed by egri-nagy
August 17, 2023 19:36 16m 45s master
master
August 17, 2023 19:36 16m 45s
pages build and deployment pages-build-deployment #52: by egri-nagy
August 17, 2023 19:36 1m 0s
August 17, 2023 19:36 1m 0s
adding the code for the evening right regular computation CI #80: Commit d36f12a pushed by egri-nagy
August 17, 2023 16:24 12m 54s master
master
August 17, 2023 16:24 12m 54s
pages build and deployment pages-build-deployment #51: by egri-nagy
August 17, 2023 16:24 53s
August 17, 2023 16:24 53s
adding the script for right regular representation CI #79: Commit 9cab14f pushed by egri-nagy
August 17, 2023 16:00 18m 31s master
master
August 17, 2023 16:00 18m 31s
pages build and deployment pages-build-deployment #50: by egri-nagy
August 17, 2023 16:00 1m 1s
August 17, 2023 16:00 1m 1s
fixing references for the notation CI #78: Commit 0526482 pushed by egri-nagy
August 13, 2023 20:24 15m 14s master
master
August 13, 2023 20:24 15m 14s
pages build and deployment pages-build-deployment #49: by egri-nagy
August 13, 2023 20:24 52s
August 13, 2023 20:24 52s
Merge branch 'master' of https://github.com/gap-packages/sgpdec CI #77: Commit 4e94296 pushed by nehaniv
August 13, 2023 19:54 14m 45s master
master
August 13, 2023 19:54 14m 45s