Skip to content

Actions: gap-packages/FinInG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove unused SetAsNiceMono CI #88: Commit 7ad40ba pushed by fingolfin
July 26, 2023 15:52 3m 27s master
master
July 26, 2023 15:52 3m 27s
WIP: Add test for NiceMonomorphismByDomain CI #87: Pull request #38 opened by fingolfin
July 26, 2023 14:19 3m 40s mh/NiceMonomorphismByDomain
mh/NiceMonomorphismByDomain
July 26, 2023 14:19 3m 40s
Remove unused SetAsNiceMono CI #86: Pull request #37 opened by fingolfin
July 26, 2023 14:10 3m 31s mh/SetAsNiceMono
mh/SetAsNiceMono
July 26, 2023 14:10 3m 31s
Remove archive/hash.gi CI #85: Commit 8b68c33 pushed by fingolfin
July 26, 2023 13:28 3m 59s master
master
July 26, 2023 13:28 3m 59s