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

ENHANCE: Added RingWithOneByStructureConstants
CI #4442: Pull request #5486 opened by hulpke
August 12, 2023 23:24 3m 29s hulpke:testbed
August 12, 2023 23:24 3m 29s
ENHANCE: Added RingWithOneByStructureConstants
Wrap releases #3986: Pull request #5486 opened by hulpke
August 12, 2023 23:24 3m 15s hulpke:testbed
August 12, 2023 23:24 3m 15s
ENHANCE: Added RingWithOneByStructureConstants
Lint #780: Pull request #5486 opened by hulpke
August 12, 2023 23:24 53s hulpke:testbed
August 12, 2023 23:24 53s
MaximalSubgroupClassReps uses AtlasRep if available
CI #4441: Pull request #5485 opened by hulpke
August 12, 2023 23:04 43m 6s hulpke:fixes
August 12, 2023 23:04 43m 6s
MaximalSubgroupClassReps uses AtlasRep if available
Lint #779: Pull request #5485 opened by hulpke
August 12, 2023 23:04 54s hulpke:fixes
August 12, 2023 23:04 54s
MaximalSubgroupClassReps uses AtlasRep if available
Wrap releases #3985: Pull request #5485 opened by hulpke
August 12, 2023 23:04 1h 16m 59s hulpke:fixes
August 12, 2023 23:04 1h 16m 59s
Minor performance improvements and a fix of case of variable overwrititing
Wrap releases #3984: Pull request #5484 synchronize by hulpke
August 12, 2023 22:33 1h 30m 5s hulpke:additions
August 12, 2023 22:33 1h 30m 5s
Minor performance improvements and a fix of case of variable overwrititing
Wrap releases #3983: Pull request #5484 opened by hulpke
August 12, 2023 20:14 1h 28m 28s hulpke:additions
August 12, 2023 20:14 1h 28m 28s
Wrap releases
Wrap releases #3982: Scheduled
August 12, 2023 03:35 1h 28m 42s master
August 12, 2023 03:35 1h 28m 42s
Lint
Lint #776: Scheduled
August 12, 2023 03:13 49s master
August 12, 2023 03:13 49s
CI
CI #4438: Scheduled
August 12, 2023 02:30 47m 20s master
August 12, 2023 02:30 47m 20s
Wrap releases
Wrap releases #3981: Scheduled
August 11, 2023 03:35 2h 4m 38s master
August 11, 2023 03:35 2h 4m 38s
Lint
Lint #775: Scheduled
August 11, 2023 03:13 1m 1s master
August 11, 2023 03:13 1m 1s
CI
CI #4437: Scheduled
August 11, 2023 02:30 43m 55s master
August 11, 2023 02:30 43m 55s
Wrap releases
Wrap releases #3980: Scheduled
August 10, 2023 03:35 1h 35m 15s master
August 10, 2023 03:35 1h 35m 15s
Lint
Lint #774: Scheduled
August 10, 2023 03:14 59s master
August 10, 2023 03:14 59s
CI
CI #4436: Scheduled
August 10, 2023 02:37 56m 22s master
August 10, 2023 02:37 56m 22s
Wrap releases
Wrap releases #3979: Scheduled
August 9, 2023 03:35 1h 32m 54s master
August 9, 2023 03:35 1h 32m 54s
Lint
Lint #773: Scheduled
August 9, 2023 03:13 52s master
August 9, 2023 03:13 52s
CI
CI #4435: Scheduled
August 9, 2023 02:35 46m 42s master
August 9, 2023 02:35 46m 42s
Wrap releases
Wrap releases #3978: Scheduled
August 8, 2023 03:35 1h 30m 23s master
August 8, 2023 03:35 1h 30m 23s