Skip to content

Actions: gap-system/gap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,768 workflow run results
1,768 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add function to get and change current directory (#5585) Deploy GAP manual to Pages #367: Commit 5533cdb pushed by fingolfin
January 14, 2024 15:07 4m 23s master
master
January 14, 2024 15:07 4m 23s
Stop using GNU libtool for linking GAP and libgap Wrap releases #4441: Pull request #5306 synchronize by fingolfin
January 14, 2024 14:20 10m 16s fingolfin:mh/no-libtool
fingolfin:mh/no-libtool
January 14, 2024 14:20 10m 16s
Stop using GNU libtool for linking GAP and libgap Lint #1235: Pull request #5306 synchronize by fingolfin
January 14, 2024 14:20 37s fingolfin:mh/no-libtool
fingolfin:mh/no-libtool
January 14, 2024 14:20 37s
Stop using GNU libtool for linking GAP and libgap CI #4914: Pull request #5306 synchronize by fingolfin
January 14, 2024 14:20 31m 57s fingolfin:mh/no-libtool
fingolfin:mh/no-libtool
January 14, 2024 14:20 31m 57s
Add function ChangeDirectoryCurrent to change current directory (identical to the one provided by the IO package) CI #4913: Pull request #5585 synchronize by fingolfin
January 14, 2024 14:09 31m 30s fingolfin:mh/curdir
fingolfin:mh/curdir
January 14, 2024 14:09 31m 30s
Add function ChangeDirectoryCurrent to change current directory (identical to the one provided by the IO package) Wrap releases #4440: Pull request #5585 synchronize by fingolfin
January 14, 2024 14:09 58m 30s fingolfin:mh/curdir
fingolfin:mh/curdir
January 14, 2024 14:09 58m 30s
Add function ChangeDirectoryCurrent to change current directory (identical to the one provided by the IO package) Lint #1234: Pull request #5585 synchronize by fingolfin
January 14, 2024 14:09 40s fingolfin:mh/curdir
fingolfin:mh/curdir
January 14, 2024 14:09 40s
Wrap releases Wrap releases #4439: Scheduled
January 14, 2024 03:35 59m 47s master
master
January 14, 2024 03:35 59m 47s
Lint Lint #1233: Scheduled
January 14, 2024 03:14 40s master
master
January 14, 2024 03:14 40s
CI CI #4912: Scheduled
January 14, 2024 02:36 38m 40s master
master
January 14, 2024 02:36 38m 40s
This is a continuation of #5577 removing more unused function arguments Lint #1232: Pull request #5587 opened by james-d-mitchell
January 13, 2024 13:49 39s james-d-mitchell:unused-func-args-2
james-d-mitchell:unused-func-args-2
January 13, 2024 13:49 39s
This is a continuation of #5577 removing more unused function arguments CI #4911: Pull request #5587 opened by james-d-mitchell
January 13, 2024 13:49 31m 59s james-d-mitchell:unused-func-args-2
james-d-mitchell:unused-func-args-2
January 13, 2024 13:49 31m 59s
This is a continuation of #5577 removing more unused function arguments Wrap releases #4438: Pull request #5587 opened by james-d-mitchell
January 13, 2024 13:49 57m 28s james-d-mitchell:unused-func-args-2
james-d-mitchell:unused-func-args-2
January 13, 2024 13:49 57m 28s
Remove some unused function arguments Lint #1231: Pull request #5577 synchronize by james-d-mitchell
January 13, 2024 12:37 45s james-d-mitchell:unused-func-args-1
james-d-mitchell:unused-func-args-1
January 13, 2024 12:37 45s
Remove some unused function arguments Wrap releases #4437: Pull request #5577 synchronize by james-d-mitchell
January 13, 2024 12:37 1h 0m 23s james-d-mitchell:unused-func-args-1
james-d-mitchell:unused-func-args-1
January 13, 2024 12:37 1h 0m 23s
Remove some unused function arguments CI #4910: Pull request #5577 synchronize by james-d-mitchell
January 13, 2024 12:37 32m 3s james-d-mitchell:unused-func-args-1
james-d-mitchell:unused-func-args-1
January 13, 2024 12:37 32m 3s
Fix RemoveDirectoryRecursively for immutable argument (#5584) Deploy GAP manual to Pages #366: Commit 9d3fdea pushed by fingolfin
January 13, 2024 12:26 3m 8s master
master
January 13, 2024 12:26 3m 8s
Fix RemoveDirectoryRecursively for immutable argument (#5584) Lint #1230: Commit 9d3fdea pushed by fingolfin
January 13, 2024 12:26 40s master
master
January 13, 2024 12:26 40s
Fix RemoveDirectoryRecursively for immutable argument (#5584) CI #4909: Commit 9d3fdea pushed by fingolfin
January 13, 2024 12:26 32m 10s master
master
January 13, 2024 12:26 32m 10s
Fix RemoveDirectoryRecursively for immutable argument (#5584) Wrap releases #4436: Commit 9d3fdea pushed by fingolfin
January 13, 2024 12:26 59m 19s master
master
January 13, 2024 12:26 59m 19s
Wrap releases Wrap releases #4435: Scheduled
January 13, 2024 03:35 58m 55s master
master
January 13, 2024 03:35 58m 55s
Lint Lint #1229: Scheduled
January 13, 2024 03:14 39s master
master
January 13, 2024 03:14 39s
CI CI #4908: Scheduled
January 13, 2024 02:34 36m 41s master
master
January 13, 2024 02:34 36m 41s
Add function ChangeDirectoryCurrent to change current directory (identical to the one provided by the IO package) Wrap releases #4434: Pull request #5585 opened by fingolfin
January 12, 2024 18:46 58m 23s fingolfin:mh/curdir
fingolfin:mh/curdir
January 12, 2024 18:46 58m 23s
Add function ChangeDirectoryCurrent to change current directory (identical to the one provided by the IO package) CI #4907: Pull request #5585 opened by fingolfin
January 12, 2024 18:46 32m 12s fingolfin:mh/curdir
fingolfin:mh/curdir
January 12, 2024 18:46 32m 12s