Skip to content

Actions: gap-packages/recog

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Don't read non-existent gap/obsolete.gi (#332)
CI #515: Commit 83212be pushed by fingolfin
July 4, 2024 12:12 23m 37s master
July 4, 2024 12:12 23m 37s
Don't read non-existent gap/obsolete.gi
CI #514: Pull request #332 opened by fingolfin
July 3, 2024 13:43 24m 6s mh/obsolete
July 3, 2024 13:43 24m 6s
CI: add Codecov token
CI #509: Commit 572fcf9 pushed by fingolfin
June 15, 2024 00:49 25m 54s master
June 15, 2024 00:49 25m 54s
March 23, 2024 22:16 30m 3s
CI: test with GAP 4.13; test with mininimal set of packages loaded
CI #507: Pull request #328 opened by fingolfin
March 23, 2024 21:44 22m 51s mh/CI
March 23, 2024 21:44 22m 51s
pages build and deployment
pages-build-deployment #4: by fingolfin
February 21, 2024 00:01 43s
February 21, 2024 00:01 43s
Minor tweaks
CI #506: Commit 5fffe77 pushed by fingolfin
November 30, 2023 09:54 10m 4s master
November 30, 2023 09:54 10m 4s
Update doc/clean
CI #505: Commit b3b251b pushed by fingolfin
November 30, 2023 09:51 10m 4s master
November 30, 2023 09:51 10m 4s
Minor tweaks
CI #504: Pull request #327 opened by fingolfin
November 30, 2023 09:44 9m 37s mh/misc
November 30, 2023 09:44 9m 37s
Drop first argument of RECOG.IsThisSL2Natural
CI #503: Commit 1af7a3e pushed by fingolfin
October 5, 2023 12:38 13m 23s master
October 5, 2023 12:38 13m 23s