Skip to content

Actions: gap-system/gap

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,375 workflow runs
1,375 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lint
Lint #2179: Scheduled
November 26, 2024 03:20 42s master
November 26, 2024 03:20 42s
Lint
Lint #2178: Scheduled
November 25, 2024 03:21 37s master
November 25, 2024 03:21 37s
kernel: simplify 'print path' handling
Lint #2176: Pull request #5850 opened by fingolfin
November 24, 2024 21:00 39s fingolfin:mh/path-printing
November 24, 2024 21:00 39s
kernel: simplify LtPRec code
Lint #2174: Pull request #5848 opened by fingolfin
November 24, 2024 20:45 39s fingolfin:mh/prec-cleanup
November 24, 2024 20:45 39s
Lint
Lint #2173: Scheduled
November 24, 2024 03:22 39s master
November 24, 2024 03:22 39s
Lint
Lint #2172: Scheduled
November 23, 2024 03:17 39s master
November 23, 2024 03:17 39s
Bump cyberjunk/gha-ubuntu-cross to v5 (#5844)
Lint #2171: Commit ff53a46 pushed by fingolfin
November 23, 2024 00:03 1m 26s master
November 23, 2024 00:03 1m 26s
CI: fix macOS builds (#5846)
Lint #2170: Commit 3b921cb pushed by fingolfin
November 23, 2024 00:02 40s master
November 23, 2024 00:02 40s
CI: fix macOS builds
Lint #2169: Pull request #5846 synchronize by fingolfin
November 22, 2024 23:21 1m 26s fingolfin:mh/CI-pkgconf
November 22, 2024 23:21 1m 26s
CI: fix macOS builds
Lint #2168: Pull request #5846 opened by fingolfin
November 22, 2024 23:17 1m 23s fingolfin:mh/CI-pkgconf
November 22, 2024 23:17 1m 23s
Bump codecov/codecov-action from 4 to 5 (#5845)
Lint #2166: Commit 11a64ec pushed by fingolfin
November 22, 2024 23:04 1m 23s master
November 22, 2024 23:04 1m 23s
Lint
Lint #2165: Scheduled
November 22, 2024 03:19 41s master
November 22, 2024 03:19 41s
Lint
Lint #2164: Scheduled
November 21, 2024 03:18 31s master
November 21, 2024 03:18 31s
Lint
Lint #2163: Scheduled
November 20, 2024 03:18 36s master
November 20, 2024 03:18 36s
Lint
Lint #2162: Scheduled
November 19, 2024 03:19 35s master
November 19, 2024 03:19 35s
Lint
Lint #2161: Scheduled
November 18, 2024 03:21 40s master
November 18, 2024 03:21 40s
Lint
Lint #2158: Scheduled
November 17, 2024 03:21 36s master
November 17, 2024 03:21 36s
Lint
Lint #2157: Scheduled
November 16, 2024 03:17 40s master
November 16, 2024 03:17 40s
Lint
Lint #2156: Scheduled
November 15, 2024 03:19 40s 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
November 14, 2024 16:57 38s