Skip to content

Actions: gap-system/gap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,296 workflow runs
4,296 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Wrap releases Wrap releases #5226: Scheduled
October 4, 2024 03:38 1h 10m 23s master
master
October 4, 2024 03:38 1h 10m 23s
Lint Lint #2008: Scheduled
October 4, 2024 03:15 37s master
master
October 4, 2024 03:15 37s
CI CI #5724: Scheduled
October 4, 2024 02:44 29m 17s master
master
October 4, 2024 02:44 29m 17s
Wrap releases Wrap releases #5225: Scheduled
October 3, 2024 03:38 1h 9m 39s master
master
October 3, 2024 03:38 1h 9m 39s
Lint Lint #2007: Scheduled
October 3, 2024 03:16 39s master
master
October 3, 2024 03:16 39s
CI CI #5723: Scheduled
October 3, 2024 02:43 28m 4s master
master
October 3, 2024 02:43 28m 4s
Wrap releases Wrap releases #5224: Scheduled
October 2, 2024 03:38 1h 13m 3s master
master
October 2, 2024 03:38 1h 13m 3s
Lint Lint #2006: Scheduled
October 2, 2024 03:15 40s master
master
October 2, 2024 03:15 40s
CI CI #5722: Scheduled
October 2, 2024 02:43 29m 10s master
master
October 2, 2024 02:43 29m 10s
kernel: wait for child process to die before closing pty CI with GAP.jl #172: Commit 00e1e10 pushed by ChrisJefferson
October 2, 2024 01:39 6m 13s master
master
October 2, 2024 01:39 6m 13s
kernel: wait for child process to die before closing pty CI #5721: Commit 00e1e10 pushed by ChrisJefferson
October 2, 2024 01:39 29m 32s master
master
October 2, 2024 01:39 29m 32s
kernel: wait for child process to die before closing pty Deploy GAP manual to Pages #510: Commit 00e1e10 pushed by ChrisJefferson
October 2, 2024 01:39 2m 49s master
master
October 2, 2024 01:39 2m 49s
kernel: wait for child process to die before closing pty Lint #2005: Commit 00e1e10 pushed by ChrisJefferson
October 2, 2024 01:39 40s master
master
October 2, 2024 01:39 40s
kernel: wait for child process to die before closing pty Wrap releases #5223: Commit 00e1e10 pushed by ChrisJefferson
October 2, 2024 01:39 1h 11m 59s master
master
October 2, 2024 01:39 1h 11m 59s
Speed up IsRegularPGroup Lint #2004: Pull request #5797 synchronize by fingolfin
October 1, 2024 22:33 37s fingolfin:mh/tune-IsPowerfulPGroup
fingolfin:mh/tune-IsPowerfulPGroup
October 1, 2024 22:33 37s
Speed up IsRegularPGroup Wrap releases #5222: Pull request #5797 synchronize by fingolfin
October 1, 2024 22:33 1h 9m 33s fingolfin:mh/tune-IsPowerfulPGroup
fingolfin:mh/tune-IsPowerfulPGroup
October 1, 2024 22:33 1h 9m 33s
Speed up IsRegularPGroup CI #5720: Pull request #5797 synchronize by fingolfin
October 1, 2024 22:33 28m 48s fingolfin:mh/tune-IsPowerfulPGroup
fingolfin:mh/tune-IsPowerfulPGroup
October 1, 2024 22:33 28m 48s
Speed up IsRegularPGroup CI with GAP.jl #171: Pull request #5797 synchronize by fingolfin
October 1, 2024 22:33 4m 23s fingolfin:mh/tune-IsPowerfulPGroup
fingolfin:mh/tune-IsPowerfulPGroup
October 1, 2024 22:33 4m 23s
Speed up IsRegularPGroup Lint #2003: Pull request #5797 synchronize by fingolfin
October 1, 2024 22:26 38s fingolfin:mh/tune-IsPowerfulPGroup
fingolfin:mh/tune-IsPowerfulPGroup
October 1, 2024 22:26 38s
Speed up IsRegularPGroup CI #5719: Pull request #5797 synchronize by fingolfin
October 1, 2024 22:26 8m 17s fingolfin:mh/tune-IsPowerfulPGroup
fingolfin:mh/tune-IsPowerfulPGroup
October 1, 2024 22:26 8m 17s
Speed up IsRegularPGroup Wrap releases #5221: Pull request #5797 synchronize by fingolfin
October 1, 2024 22:26 8m 2s fingolfin:mh/tune-IsPowerfulPGroup
fingolfin:mh/tune-IsPowerfulPGroup
October 1, 2024 22:26 8m 2s
Speed up IsRegularPGroup CI with GAP.jl #170: Pull request #5797 synchronize by fingolfin
October 1, 2024 22:26 6m 27s fingolfin:mh/tune-IsPowerfulPGroup
fingolfin:mh/tune-IsPowerfulPGroup
October 1, 2024 22:26 6m 27s
Fix hashing for integer plists Lint #2002: Pull request #5807 opened by fingolfin
October 1, 2024 16:21 41s fingolfin:mh/fix-dict-hash
fingolfin:mh/fix-dict-hash
October 1, 2024 16:21 41s
Fix hashing for integer plists CI with GAP.jl #169: Pull request #5807 opened by fingolfin
October 1, 2024 16:21 6m 33s fingolfin:mh/fix-dict-hash
fingolfin:mh/fix-dict-hash
October 1, 2024 16:21 6m 33s
Fix hashing for integer plists CI #5718: Pull request #5807 opened by fingolfin
October 1, 2024 16:21 29m 1s fingolfin:mh/fix-dict-hash
fingolfin:mh/fix-dict-hash
October 1, 2024 16:21 29m 1s