Skip to content

Actions: gap-packages/rcwa

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: add Codecov token
CI #81: Commit ea729ec pushed by fingolfin
June 15, 2024 00:49 8m 52s master
June 15, 2024 00:49 8m 52s
Remove delegation from ViewObj to Display
CI #80: Commit 5e34959 pushed by Stefan-Kohl
May 26, 2024 21:16 5m 4s master
May 26, 2024 21:16 5m 4s
Fix representation issue in ImagesSet(f,cl)
CI #79: Commit f745ee3 pushed by Stefan-Kohl
May 26, 2024 18:57 3m 34s master
May 26, 2024 18:57 3m 34s
March 23, 2024 22:27 3m 27s
pages build and deployment
pages-build-deployment #3: by fingolfin
February 20, 2024 23:42 41s
February 20, 2024 23:42 41s
defining in init.g the four PreImages...NC operations
CI #77: Pull request #28 opened by cdwensley
February 2, 2024 15:26 6m 42s cdwensley:preimages
February 2, 2024 15:26 6m 42s
Preimrep
CI #76: Pull request #27 synchronize by cdwensley
October 24, 2023 20:45 4m 18s cdwensley:preimrep
October 24, 2023 20:45 4m 18s
Preimrep
CI #75: Pull request #27 synchronize by cdwensley
October 24, 2023 20:36 4m 8s cdwensley:preimrep
October 24, 2023 20:36 4m 8s
Preimrep
CI #74: Pull request #27 opened by cdwensley
October 24, 2023 20:28 3m 7s cdwensley:preimrep
October 24, 2023 20:28 3m 7s