Skip to content

Actions: gap-system/gap

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
1,331 workflow runs
1,331 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add NaturalGModule for obtaining the natural module of a matrix group Lint #2025: Pull request #5798 synchronize by fingolfin
October 13, 2024 09:22 36s fingolfin:mh/GModuleByGroup
fingolfin:mh/GModuleByGroup
October 13, 2024 09:22 36s
Add NaturalGModule for obtaining the natural module of a matrix group Lint #2024: Pull request #5798 synchronize by fingolfin
October 13, 2024 09:21 40s fingolfin:mh/GModuleByGroup
fingolfin:mh/GModuleByGroup
October 13, 2024 09:21 40s
CI: update codecov/codecov-action from 3 to 4 Lint #2023: Pull request #5812 opened by fingolfin
October 13, 2024 08:48 36s fingolfin:mh/codecov
fingolfin:mh/codecov
October 13, 2024 08:48 36s
Lint Lint #2022: Scheduled
October 13, 2024 03:16 39s master
master
October 13, 2024 03:16 39s
Fix stabilizer computation in alternating groups which could sometimes return a wrong result Lint #2021: Pull request #5811 opened by fingolfin
October 12, 2024 12:24 42s fingolfin:mh/fix-stab-alt
fingolfin:mh/fix-stab-alt
October 12, 2024 12:24 42s
Lint Lint #2020: Scheduled
October 12, 2024 03:15 37s master
master
October 12, 2024 03:15 37s
Fix hashing for integer plists (#5807) Lint #2019: Commit 19484a7 pushed by fingolfin
October 11, 2024 12:54 38s master
master
October 11, 2024 12:54 38s
Fix hashing for integer plists Lint #2018: Pull request #5807 synchronize by fingolfin
October 11, 2024 11:42 37s fingolfin:mh/fix-dict-hash
fingolfin:mh/fix-dict-hash
October 11, 2024 11:42 37s
Fix hashing for integer plists Lint #2017: Pull request #5807 synchronize by fingolfin
October 11, 2024 11:12 43s fingolfin:mh/fix-dict-hash
fingolfin:mh/fix-dict-hash
October 11, 2024 11:12 43s
Lint Lint #2016: Scheduled
October 11, 2024 03:15 35s master
master
October 11, 2024 03:15 35s
Lint Lint #2015: Scheduled
October 10, 2024 03:15 35s master
master
October 10, 2024 03:15 35s
Speed up IsRegularPGroup (#5797) Lint #2014: Commit 56b9f5e pushed by fingolfin
October 9, 2024 10:57 43s master
master
October 9, 2024 10:57 43s
Lint Lint #2013: Scheduled
October 9, 2024 03:16 40s master
master
October 9, 2024 03:16 40s
Lint Lint #2012: Scheduled
October 8, 2024 03:16 38s master
master
October 8, 2024 03:16 38s
Lint Lint #2011: Scheduled
October 7, 2024 03:16 36s master
master
October 7, 2024 03:16 36s
Lint Lint #2010: Scheduled
October 6, 2024 03:16 35s master
master
October 6, 2024 03:16 35s
Lint Lint #2009: Scheduled
October 5, 2024 03:15 40s master
master
October 5, 2024 03:15 40s
Lint Lint #2008: Scheduled
October 4, 2024 03:15 37s master
master
October 4, 2024 03:15 37s
Lint Lint #2007: Scheduled
October 3, 2024 03:16 39s master
master
October 3, 2024 03:16 39s
Lint Lint #2006: Scheduled
October 2, 2024 03:15 40s master
master
October 2, 2024 03:15 40s
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
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 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
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
Lint Lint #2001: Scheduled
October 1, 2024 03:20 38s master
master
October 1, 2024 03:20 38s