Skip to content

Actions: gap-packages/orb

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #5: by fingolfin
January 3, 2025 01:56 35s gh-pages
January 3, 2025 01:56 35s
Version 4.9.2
CI #70: Commit 0782dda pushed by fingolfin
January 3, 2025 01:56 1m 43s master
January 3, 2025 01:56 1m 43s
Switch kernel extension to using GVAR_FUNC (#71)
CI #69: Commit 5448d14 pushed by fingolfin
January 3, 2025 01:53 1m 50s master
January 3, 2025 01:53 1m 50s
renaming methods in homwdata.gi to PreImages...NC (#67)
CI #68: Commit d339de3 pushed by fingolfin
January 3, 2025 01:53 1m 38s master
January 3, 2025 01:53 1m 38s
Switch kernel extension to using GVAR_FUNC
CI #67: Pull request #71 opened by fingolfin
January 3, 2025 01:00 1m 53s mh/GVAR_FUNC
January 3, 2025 01:00 1m 53s
CI: test against stable-4.14
CI #66: Commit bec13a2 pushed by fingolfin
December 12, 2024 15:18 24m 16s master
December 12, 2024 15:18 24m 16s
pages build and deployment
pages-build-deployment #4: by fingolfin
August 26, 2024 21:56 38s gh-pages
August 26, 2024 21:56 38s
Version 4.9.1
CI #65: Commit 7770d78 pushed by fingolfin
August 26, 2024 21:55 1m 55s master
August 26, 2024 21:55 1m 55s
Cut support for deprecated gap-versions
CI #64: Commit 9f1d865 pushed by ChrisJefferson
August 26, 2024 13:56 1m 45s master
August 26, 2024 13:56 1m 45s
CI: add Codecov token
CI #60: Commit 4683bad pushed by fingolfin
June 15, 2024 00:51 14m 38s master
June 15, 2024 00:51 14m 38s
renaming methods in homwdata.gi to PreImages...NC
CI #59: Pull request #67 reopened by fingolfin
March 23, 2024 22:37 4m 16s cdwensley:preimages
March 23, 2024 22:37 4m 16s
March 23, 2024 22:36 2m 16s
CI: test with GAP 4.13; test with mininimal set of packages loaded
CI #57: Pull request #68 synchronize by fingolfin
March 23, 2024 22:21 2m 4s mh/CI
March 23, 2024 22:21 2m 4s
CI: test with GAP 4.13; test with mininimal set of packages loaded
CI #56: Pull request #68 opened by fingolfin
March 23, 2024 21:52 2m 28s mh/CI
March 23, 2024 21:52 2m 28s
pages build and deployment
pages-build-deployment #3: by fingolfin
February 20, 2024 23:41 36s gh-pages
February 20, 2024 23:41 36s
Update Makefile.gappkg to latest
CI #55: Commit c08d93a pushed by fingolfin
January 22, 2024 23:29 1m 44s master
January 22, 2024 23:29 1m 44s
renaming methods in homwdata.gi to PreImages...NC
CI #54: Pull request #67 opened by cdwensley
January 16, 2024 09:53 2m 8s cdwensley:preimages
January 16, 2024 09:53 2m 8s