Skip to content

Actions: gap-system/gap

Lint

Actions

Loading...

Show workflow options

Create status badge

1,196 workflow runs
1,196 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

CI: Use Pkg.jl for installing GAP.jl
Lint #1720: Pull request #5735 synchronize by lgoettgens
June 4, 2024 16:13 43s lgoettgens:lg/gapjl-ci
June 4, 2024 16:13 43s
CI: Use Pkg.jl for installing GAP.jl
Lint #1719: Pull request #5735 synchronize by lgoettgens
June 4, 2024 16:12 42s lgoettgens:lg/gapjl-ci
June 4, 2024 16:12 42s
CI: Use Pkg.jl for installing GAP.jl
Lint #1718: Pull request #5735 synchronize by lgoettgens
June 4, 2024 16:10 45s lgoettgens:lg/gapjl-ci
June 4, 2024 16:10 45s
CI: Use Pkg.jl for installing GAP.jl
Lint #1717: Pull request #5735 synchronize by lgoettgens
June 4, 2024 16:09 44s lgoettgens:lg/gapjl-ci
June 4, 2024 16:09 44s
Minimal Permutation Degree for Simple Groups
Lint #1714: Pull request #5732 synchronize by pranav-joshi-iitgn
June 4, 2024 13:35 Action required pranav-joshi-iitgn:second
June 4, 2024 13:35 Action required
Lint
Lint #1713: Scheduled
June 4, 2024 03:14 41s master
June 4, 2024 03:14 41s
Add CI job that tests with GAP.jl (#5733)
Lint #1712: Commit be4ec9d pushed by fingolfin
June 3, 2024 16:31 46s master
June 3, 2024 16:31 46s
Minimal Permutation Degree for Simple Groups
Lint #1711: Pull request #5732 synchronize by pranav-joshi-iitgn
June 3, 2024 09:04 Action required pranav-joshi-iitgn:second
June 3, 2024 09:04 Action required
Lint
Lint #1710: Scheduled
June 3, 2024 03:14 42s master
June 3, 2024 03:14 42s
Minimal Permutation Degree for Simple Groups
Lint #1709: Pull request #5732 synchronize by pranav-joshi-iitgn
June 2, 2024 17:40 Action required pranav-joshi-iitgn:second
June 2, 2024 17:40 Action required
Lint
Lint #1708: Scheduled
June 2, 2024 03:14 38s master
June 2, 2024 03:14 38s
Lint
Lint #1707: Scheduled
June 1, 2024 03:15 48s master
June 1, 2024 03:15 48s
Lint
Lint #1705: Scheduled
May 31, 2024 03:14 38s master
May 31, 2024 03:14 38s
Lint
Lint #1704: Scheduled
May 30, 2024 03:14 43s master
May 30, 2024 03:14 43s
Minimal Permutation Degree for Simple Groups
Lint #1703: Pull request #5732 opened by pranav-joshi-iitgn
May 29, 2024 19:54 Action required pranav-joshi-iitgn:second
May 29, 2024 19:54 Action required
Lint
Lint #1702: Scheduled
May 29, 2024 03:14 43s master
May 29, 2024 03:14 43s
FIX: MinimalFaithfulPermutationDegree (#5730)
Lint #1699: Commit 921c781 pushed by fingolfin
May 28, 2024 19:56 40s master
May 28, 2024 19:56 40s
Another method for minimum generating set for finite groups
Lint #1697: Pull request #5716 synchronize by pranav-joshi-iitgn
May 28, 2024 11:20 Action required pranav-joshi-iitgn:master
May 28, 2024 11:20 Action required
Another method for minimum generating set for finite groups
Lint #1696: Pull request #5716 synchronize by pranav-joshi-iitgn
May 28, 2024 11:14 Action required pranav-joshi-iitgn:master
May 28, 2024 11:14 Action required