Skip to content

Actions: gap-system/gap

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lint Lint #2079: Scheduled
October 27, 2024 03:17 37s master
master
October 27, 2024 03:17 37s
Lint Lint #2078: Scheduled
October 26, 2024 03:15 40s master
master
October 26, 2024 03:15 40s
Make FirstNames optional in Persons records in package metadata Lint #2077: Pull request #5822 synchronize by ThomasBreuer
October 25, 2024 14:21 43s ThomasBreuer:TB_Cite_The_GAP_Team
ThomasBreuer:TB_Cite_The_GAP_Team
October 25, 2024 14:21 43s
Objectify: warn if Is{Component,Positional}ObjectRep absent Lint #2076: Pull request #4964 reopened by fingolfin
October 25, 2024 07:16 42s fingolfin:mh/force-pos-or-com-objrep
fingolfin:mh/force-pos-or-com-objrep
October 25, 2024 07:16 42s
Lint Lint #2075: Scheduled
October 25, 2024 03:16 35s master
master
October 25, 2024 03:16 35s
CI: don't disable -Werror for Julia builds (#5827) Lint #2074: Commit 2664be8 pushed by fingolfin
October 24, 2024 23:55 37s master
master
October 24, 2024 23:55 37s
kernel: cleanup vararg argument names (#5821) Lint #2073: Commit ee6111c pushed by fingolfin
October 24, 2024 23:08 35s master
master
October 24, 2024 23:08 35s
CI: don't disable -Werror for Julia builds Lint #2072: Pull request #5827 synchronize by fingolfin
October 24, 2024 23:06 38s mh/ci
mh/ci
October 24, 2024 23:06 38s
CI: don't disable -Werror for Julia builds Lint #2071: Pull request #5827 synchronize by fingolfin
October 24, 2024 21:33 41s mh/ci
mh/ci
October 24, 2024 21:33 41s
Remove second argument from STOP_TEST invocations (#5823) Lint #2070: Commit 11a8e61 pushed by fingolfin
October 24, 2024 21:14 42s master
master
October 24, 2024 21:14 42s
fix GAPDoc syntax for the manual in doc/dev (#5825) Lint #2069: Commit 0cdbcc4 pushed by fingolfin
October 24, 2024 21:13 38s master
master
October 24, 2024 21:13 38s
CI: don't disable -Werror for Julia builds Lint #2068: Pull request #5827 opened by fingolfin
October 24, 2024 21:11 41s mh/ci
mh/ci
October 24, 2024 21:11 41s
FIX: wreath product with trivial group contains trivial generators Lint #2067: Pull request #5826 opened by FriedrichRober
October 24, 2024 15:06 38s FriedrichRober:fr/FixWreathProductTrivialTopGroup
FriedrichRober:fr/FixWreathProductTrivialTopGroup
October 24, 2024 15:06 38s
Adjust julia gc to jl_gc_new_weakref no longer being exported Lint #2066: Pull request #5824 synchronize by lgoettgens
October 24, 2024 14:13 39s lgoettgens:lg/jl_gc_new_weakre_th
lgoettgens:lg/jl_gc_new_weakre_th
October 24, 2024 14:13 39s
fix GAPDoc syntax for the manual in doc/dev Lint #2065: Pull request #5825 opened by ThomasBreuer
October 24, 2024 13:35 42s ThomasBreuer:TB_fix_doc_dev
ThomasBreuer:TB_fix_doc_dev
October 24, 2024 13:35 42s
Adjust julia gc to jl_gc_new_weakref no longer being exported Lint #2064: Pull request #5824 opened by lgoettgens
October 24, 2024 13:06 41s lgoettgens:lg/jl_gc_new_weakre_th
lgoettgens:lg/jl_gc_new_weakre_th
October 24, 2024 13:06 41s
Fix IsIntegralRing to return false for rings that are euclidean b… Lint #2063: Commit 94642bb pushed by fingolfin
October 24, 2024 08:36 36s master
master
October 24, 2024 08:36 36s
Remove second argument from STOP_TEST invocations Lint #2062: Pull request #5823 opened by fingolfin
October 24, 2024 08:35 42s fingolfin:mh/STOP_TEST
fingolfin:mh/STOP_TEST
October 24, 2024 08:35 42s
Lint Lint #2061: Scheduled
October 24, 2024 03:16 40s master
master
October 24, 2024 03:16 40s
Lint Lint #2060: Scheduled
October 23, 2024 03:16 37s master
master
October 23, 2024 03:16 37s
Make FirstNames optional in Persons records in package metadata Lint #2059: Pull request #5822 opened by ThomasBreuer
October 22, 2024 21:46 37s ThomasBreuer:TB_Cite_The_GAP_Team
ThomasBreuer:TB_Cite_The_GAP_Team
October 22, 2024 21:46 37s
kernel: cleanup vararg argument names Lint #2058: Pull request #5821 opened by fingolfin
October 22, 2024 07:19 37s fingolfin:mh/arg-dot-dot-dot
fingolfin:mh/arg-dot-dot-dot
October 22, 2024 07:19 37s
Lint Lint #2057: Scheduled
October 22, 2024 03:16 41s master
master
October 22, 2024 03:16 41s
avoid an attribute value after leaving a break loop Lint #2056: Commit 1817615 pushed by ChrisJefferson
October 22, 2024 02:35 44s master
master
October 22, 2024 02:35 44s
minor improvements of the Reference Manual (#5820) Lint #2055: Commit 93f800f pushed by fingolfin
October 21, 2024 16:34 52s master
master
October 21, 2024 16:34 52s