Skip to content

Actions: gap-packages/rcwa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: test against stable-4.14
CI #83: Commit b64278a pushed by fingolfin
December 12, 2024 16:30 4m 25s master
December 12, 2024 16:30 4m 25s
SimplifiedCertificate: also reduce smallpointbound
CI #82: Commit c1b551b pushed by Stefan-Kohl
December 3, 2024 09:33 3m 51s master
December 3, 2024 09:33 3m 51s
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 gh-pages
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