Skip to content

Actions: gap-system/gap

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
209 workflow run results
209 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

changed the documentation of FamilyPcgs
Lint #797: Commit 237f358 pushed by ThomasBreuer
August 17, 2023 21:54 1m 1s master
August 17, 2023 21:54 1m 1s
changed the documentation of FamilyPcgs
CI #4459: Commit 237f358 pushed by ThomasBreuer
August 17, 2023 21:54 52m 41s master
August 17, 2023 21:54 52m 41s
changed the documentation of FamilyPcgs
Deploy GAP manual to Pages #292: Commit 237f358 pushed by ThomasBreuer
August 17, 2023 21:54 3m 58s master
August 17, 2023 21:54 3m 58s
changed the documentation of FamilyPcgs
Wrap releases #4003: Commit 237f358 pushed by ThomasBreuer
August 17, 2023 21:54 1h 27m 2s master
August 17, 2023 21:54 1h 27m 2s
fixed ConsiderStructureConstants
Wrap releases #4002: Pull request #5487 synchronize by ThomasBreuer
August 17, 2023 16:20 1h 37m 46s ThomasBreuer:TB_ConsiderStructureConstants
August 17, 2023 16:20 1h 37m 46s
Fix dev/bisect.sh
CI #4455: Pull request #5489 opened by fingolfin
August 17, 2023 08:22 47m 37s fingolfin:mh/bisect
August 17, 2023 08:22 47m 37s
Fix dev/bisect.sh
Wrap releases #3999: Pull request #5489 opened by fingolfin
August 17, 2023 08:22 1h 35m 13s fingolfin:mh/bisect
August 17, 2023 08:22 1h 35m 13s
Fix dev/bisect.sh
Lint #793: Pull request #5489 opened by fingolfin
August 17, 2023 08:22 1m 4s fingolfin:mh/bisect
August 17, 2023 08:22 1m 4s
Wrap releases
Wrap releases #3998: Scheduled
August 17, 2023 03:35 2h 4m 34s master
August 17, 2023 03:35 2h 4m 34s
Lint
Lint #792: Scheduled
August 17, 2023 03:13 55s master
August 17, 2023 03:13 55s
CI
CI #4454: Scheduled
August 17, 2023 02:30 45m 40s master
August 17, 2023 02:30 45m 40s
changed the documentation of FamilyPcgs
Wrap releases #3997: Pull request #5488 opened by ThomasBreuer
August 16, 2023 13:01 1h 49m 39s ThomasBreuer:TB_FamilyPcgs
August 16, 2023 13:01 1h 49m 39s
changed the documentation of FamilyPcgs
CI #4453: Pull request #5488 opened by ThomasBreuer
August 16, 2023 13:01 46m 51s ThomasBreuer:TB_FamilyPcgs
August 16, 2023 13:01 46m 51s
fixed ConsiderStructureConstants
Wrap releases #3996: Pull request #5487 synchronize by ThomasBreuer
August 16, 2023 11:22 1h 51m 47s ThomasBreuer:TB_ConsiderStructureConstants
August 16, 2023 11:22 1h 51m 47s
fixed ConsiderStructureConstants
Wrap releases #3995: Pull request #5487 opened by ThomasBreuer
August 16, 2023 10:11 1h 11m 57s ThomasBreuer:TB_ConsiderStructureConstants
August 16, 2023 10:11 1h 11m 57s