Skip to content

Actions: gap-system/gap

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lint Lint #2157: Scheduled
November 16, 2024 03:17 40s master
master
November 16, 2024 03:17 40s
Lint Lint #2156: Scheduled
November 15, 2024 03:19 40s master
master
November 15, 2024 03:19 40s
fix indentation when printing double cosets (#5841) Lint #2155: Commit 329ab54 pushed by fingolfin
November 14, 2024 16:57 38s master
master
November 14, 2024 16:57 38s
Lint Lint #2154: Scheduled
November 14, 2024 03:15 38s master
master
November 14, 2024 03:15 38s
Update CHANGES.md, prepare for GAP 4.14.0-beta1 (#5842) Lint #2153: Commit b3069e8 pushed by fingolfin
November 13, 2024 10:32 39s master
master
November 13, 2024 10:32 39s
Update CHANGES.md, prepare for GAP 4.14.0-beta1 Lint #2152: Pull request #5842 opened by fingolfin
November 13, 2024 08:54 38s fingolfin:mh/CHANGES
fingolfin:mh/CHANGES
November 13, 2024 08:54 38s
fix indentation when printing double cosets Lint #2151: Pull request #5841 opened by ThomasBreuer
November 13, 2024 08:50 39s ThomasBreuer:TB_double_cosets_view
ThomasBreuer:TB_double_cosets_view
November 13, 2024 08:50 39s
Create stable-4.14 branch Lint #2150: Commit a629cd9 pushed by fingolfin
November 13, 2024 08:16 39s stable-4.14
stable-4.14
November 13, 2024 08:16 39s
Start work on GAP 4.15 Lint #2149: Commit 4cf0eed pushed by fingolfin
November 13, 2024 08:16 40s master
master
November 13, 2024 08:16 40s
Fast SwapMatrixRows/columns for 8bit matrices (#5838) Lint #2148: Commit 2dc0929 pushed by fingolfin
November 13, 2024 08:14 38s master
master
November 13, 2024 08:14 38s
Use SwapMatrixRows/Columns in a few places (#5839) Lint #2147: Commit 536027e pushed by fingolfin
November 13, 2024 08:13 40s master
master
November 13, 2024 08:13 40s
create_stable_branch.py: remove obsolete comments Lint #2146: Commit d79b831 pushed by fingolfin
November 13, 2024 08:08 44s master
master
November 13, 2024 08:08 44s
Lint Lint #2145: Scheduled
November 13, 2024 03:15 38s master
master
November 13, 2024 03:15 38s
Use SwapMatrixRows/Columns in a few more places Lint #2144: Pull request #5839 synchronize by fingolfin
November 12, 2024 19:28 38s mh/more-swap
mh/more-swap
November 12, 2024 19:28 38s
Use SwapMatrixRows/Columns in a few more places Lint #2143: Pull request #5839 synchronize by fingolfin
November 12, 2024 19:26 43s mh/more-swap
mh/more-swap
November 12, 2024 19:26 43s
Fix PQuotient error for large groups. Lint #2142: Pull request #5816 synchronize by FriedrichRober
November 12, 2024 15:05 38s FriedrichRober:fr/FixPQuotient
FriedrichRober:fr/FixPQuotient
November 12, 2024 15:05 38s
Fix PQuotient error for large groups. Lint #2141: Pull request #5816 synchronize by FriedrichRober
November 12, 2024 15:02 1m 3s FriedrichRober:fr/FixPQuotient
FriedrichRober:fr/FixPQuotient
November 12, 2024 15:02 1m 3s
Lint Lint #2140: Scheduled
November 12, 2024 03:15 45s master
master
November 12, 2024 03:15 45s
Use SwapMatrixRows/Columns in a few more places Lint #2139: Pull request #5839 synchronize by fingolfin
November 11, 2024 21:41 37s mh/more-swap
mh/more-swap
November 11, 2024 21:41 37s
Use SwapMatrixRows/Columns in a few more places Lint #2138: Pull request #5839 opened by fingolfin
November 11, 2024 21:34 39s mh/more-swap
mh/more-swap
November 11, 2024 21:34 39s
Faster SwapMatrixRows and SwapMatrixColumns for 8bit matrices Lint #2137: Pull request #5838 opened by fingolfin
November 11, 2024 21:23 40s fingolfin:mh/swap-rows-cols-8bit
fingolfin:mh/swap-rows-cols-8bit
November 11, 2024 21:23 40s
Fast SwapMatrixRows/columns for GF matrices (#5837) Lint #2136: Commit 62bd8f0 pushed by fingolfin
November 11, 2024 21:20 37s master
master
November 11, 2024 21:20 37s
kernel: add some kernel dispatchers for matrix manipulation (#4951) Lint #2135: Commit e234def pushed by fingolfin
November 11, 2024 21:19 37s master
master
November 11, 2024 21:19 37s
Faster SwapMatrixRows and SwapMatrixColumns for GF2 matrices Lint #2134: Pull request #5837 synchronize by fingolfin
November 11, 2024 14:16 38s fingolfin:mh/swap-rows-cols-GF2
fingolfin:mh/swap-rows-cols-GF2
November 11, 2024 14:16 38s
Faster SwapMatrixRows and SwapMatrixColumns for GF2 matrices Lint #2133: Pull request #5837 synchronize by fingolfin
November 11, 2024 14:13 37s fingolfin:mh/swap-rows-cols-GF2
fingolfin:mh/swap-rows-cols-GF2
November 11, 2024 14:13 37s