Skip to content

Actions: semigroups/Semigroups

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,689 workflow runs
4,689 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Better inverses Workspaces #725: Pull request #1021 synchronize by james-d-mitchell
November 8, 2024 10:17 4m 31s Tianrun-Y:better-inverses
Tianrun-Y:better-inverses
November 8, 2024 10:17 4m 31s
Better inverses Standard tests #2556: Pull request #1021 synchronize by james-d-mitchell
November 8, 2024 10:17 41m 41s Tianrun-Y:better-inverses
Tianrun-Y:better-inverses
November 8, 2024 10:17 41m 41s
Better Nambooripad Configuration options #437: Pull request #1026 synchronize by james-d-mitchell
November 8, 2024 10:14 13m 12s Tianrun-Y:better-nambooripad
Tianrun-Y:better-nambooripad
November 8, 2024 10:14 13m 12s
Better Nambooripad Lint #2316: Pull request #1026 synchronize by james-d-mitchell
November 8, 2024 10:14 32s Tianrun-Y:better-nambooripad
Tianrun-Y:better-nambooripad
November 8, 2024 10:14 32s
Better Nambooripad Manual #2316: Pull request #1026 synchronize by james-d-mitchell
November 8, 2024 10:14 2m 55s Tianrun-Y:better-nambooripad
Tianrun-Y:better-nambooripad
November 8, 2024 10:14 2m 55s
Better Nambooripad codespell #342: Pull request #1026 synchronize by james-d-mitchell
November 8, 2024 10:14 17s Tianrun-Y:better-nambooripad
Tianrun-Y:better-nambooripad
November 8, 2024 10:14 17s
Better Nambooripad Standard tests #2555: Pull request #1026 synchronize by james-d-mitchell
November 8, 2024 10:14 39m 30s Tianrun-Y:better-nambooripad
Tianrun-Y:better-nambooripad
November 8, 2024 10:14 39m 30s
Better Nambooripad clang-format #1062: Pull request #1026 synchronize by james-d-mitchell
November 8, 2024 10:14 25s Tianrun-Y:better-nambooripad
Tianrun-Y:better-nambooripad
November 8, 2024 10:14 25s
Better Nambooripad Workspaces #724: Pull request #1026 synchronize by james-d-mitchell
November 8, 2024 10:14 1m 26s Tianrun-Y:better-nambooripad
Tianrun-Y:better-nambooripad
November 8, 2024 10:14 1m 26s
Use GAP kernel helper IS_STRING_REP to test for strings codespell #341: Pull request #1045 synchronize by james-d-mitchell
November 8, 2024 10:12 22s fingolfin:mh/IS_STRING_REP
fingolfin:mh/IS_STRING_REP
November 8, 2024 10:12 22s
Use GAP kernel helper IS_STRING_REP to test for strings Configuration options #436: Pull request #1045 synchronize by james-d-mitchell
November 8, 2024 10:12 13m 29s fingolfin:mh/IS_STRING_REP
fingolfin:mh/IS_STRING_REP
November 8, 2024 10:12 13m 29s
Use GAP kernel helper IS_STRING_REP to test for strings Manual #2315: Pull request #1045 synchronize by james-d-mitchell
November 8, 2024 10:12 2m 47s fingolfin:mh/IS_STRING_REP
fingolfin:mh/IS_STRING_REP
November 8, 2024 10:12 2m 47s
Use GAP kernel helper IS_STRING_REP to test for strings clang-format #1061: Pull request #1045 synchronize by james-d-mitchell
November 8, 2024 10:12 30s fingolfin:mh/IS_STRING_REP
fingolfin:mh/IS_STRING_REP
November 8, 2024 10:12 30s
Use GAP kernel helper IS_STRING_REP to test for strings Workspaces #723: Pull request #1045 synchronize by james-d-mitchell
November 8, 2024 10:12 1m 31s fingolfin:mh/IS_STRING_REP
fingolfin:mh/IS_STRING_REP
November 8, 2024 10:12 1m 31s
Use GAP kernel helper IS_STRING_REP to test for strings Lint #2315: Pull request #1045 synchronize by james-d-mitchell
November 8, 2024 10:12 32s fingolfin:mh/IS_STRING_REP
fingolfin:mh/IS_STRING_REP
November 8, 2024 10:12 32s
Use GAP kernel helper IS_STRING_REP to test for strings Standard tests #2554: Pull request #1045 synchronize by james-d-mitchell
November 8, 2024 10:12 38m 57s fingolfin:mh/IS_STRING_REP
fingolfin:mh/IS_STRING_REP
November 8, 2024 10:12 38m 57s
Manual Manual #2314: Scheduled
November 8, 2024 03:43 2m 52s main
main
November 8, 2024 03:43 2m 52s
Workspaces Workspaces #722: Scheduled
November 8, 2024 03:33 1m 22s main
main
November 8, 2024 03:33 1m 22s
Standard tests Standard tests #2553: Scheduled
November 8, 2024 03:32 40m 35s main
main
November 8, 2024 03:32 40m 35s
clang-format clang-format #1060: Scheduled
November 8, 2024 03:30 23s main
main
November 8, 2024 03:30 23s
Lint Lint #2314: Scheduled
November 8, 2024 03:28 32s main
main
November 8, 2024 03:28 32s
Use GAP kernel helper IS_STRING_REP to test for strings Manual #2313: Pull request #1045 opened by fingolfin
November 7, 2024 22:55 3m 25s fingolfin:mh/IS_STRING_REP
fingolfin:mh/IS_STRING_REP
November 7, 2024 22:55 3m 25s
Use GAP kernel helper IS_STRING_REP to test for strings codespell #340: Pull request #1045 opened by fingolfin
November 7, 2024 22:55 24s fingolfin:mh/IS_STRING_REP
fingolfin:mh/IS_STRING_REP
November 7, 2024 22:55 24s
Use GAP kernel helper IS_STRING_REP to test for strings Lint #2313: Pull request #1045 opened by fingolfin
November 7, 2024 22:55 33s fingolfin:mh/IS_STRING_REP
fingolfin:mh/IS_STRING_REP
November 7, 2024 22:55 33s
Use GAP kernel helper IS_STRING_REP to test for strings Configuration options #435: Pull request #1045 opened by fingolfin
November 7, 2024 22:55 13m 8s fingolfin:mh/IS_STRING_REP
fingolfin:mh/IS_STRING_REP
November 7, 2024 22:55 13m 8s