Skip to content

Actions: semigroups/Semigroups

Configuration options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
336 workflow runs
336 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Mitsch Order
Configuration options #381: Pull request #1024 synchronize by Tianrun-Y
August 14, 2024 15:13 14m 43s Tianrun-Y:mitsch-new
August 14, 2024 15:13 14m 43s
Mitsch Order
Configuration options #380: Pull request #1024 synchronize by Tianrun-Y
August 14, 2024 14:42 14m 45s Tianrun-Y:mitsch-new
August 14, 2024 14:42 14m 45s
Mitsch Order
Configuration options #379: Pull request #1024 synchronize by Tianrun-Y
August 14, 2024 14:32 11m 21s Tianrun-Y:mitsch-new
August 14, 2024 14:32 11m 21s
Better Nambooripad
Configuration options #378: Pull request #1026 synchronize by Tianrun-Y
August 7, 2024 15:43 14m 50s Tianrun-Y:better-nambooripad
August 7, 2024 15:43 14m 50s
Better inverses
Configuration options #377: Pull request #1021 synchronize by Tianrun-Y
August 7, 2024 15:37 14m 56s Tianrun-Y:better-inverses
August 7, 2024 15:37 14m 56s
Better inverses
Configuration options #376: Pull request #1021 synchronize by Tianrun-Y
August 7, 2024 15:12 12m 15s Tianrun-Y:better-inverses
August 7, 2024 15:12 12m 15s
Better inverses
Configuration options #375: Pull request #1021 synchronize by Tianrun-Y
August 7, 2024 15:05 10m 49s Tianrun-Y:better-inverses
August 7, 2024 15:05 10m 49s
Better inverses
Configuration options #374: Pull request #1021 synchronize by Tianrun-Y
August 7, 2024 15:02 10m 35s Tianrun-Y:better-inverses
August 7, 2024 15:02 10m 35s
Better inverses
Configuration options #373: Pull request #1021 synchronize by Tianrun-Y
August 7, 2024 14:58 10m 17s Tianrun-Y:better-inverses
August 7, 2024 14:58 10m 17s
Better inverses
Configuration options #372: Pull request #1021 synchronize by Tianrun-Y
August 7, 2024 14:49 15m 5s Tianrun-Y:better-inverses
August 7, 2024 14:49 15m 5s
Mitsch Order
Configuration options #371: Pull request #1024 synchronize by Tianrun-Y
August 7, 2024 14:43 11m 6s Tianrun-Y:mitsch-new
August 7, 2024 14:43 11m 6s
Mitsch Order
Configuration options #370: Pull request #1024 synchronize by Tianrun-Y
August 7, 2024 14:42 10m 47s Tianrun-Y:mitsch-new
August 7, 2024 14:42 10m 47s
Mitsch Order
Configuration options #369: Pull request #1024 synchronize by Tianrun-Y
August 7, 2024 14:42 10m 46s Tianrun-Y:mitsch-new
August 7, 2024 14:42 10m 46s
Mitsch Order
Configuration options #368: Pull request #1024 synchronize by Tianrun-Y
August 7, 2024 14:42 12m 24s Tianrun-Y:mitsch-new
August 7, 2024 14:42 12m 24s
Better Nambooripad
Configuration options #367: Pull request #1026 synchronize by Tianrun-Y
August 7, 2024 13:52 10m 47s Tianrun-Y:better-nambooripad
August 7, 2024 13:52 10m 47s
Better inverses
Configuration options #366: Pull request #1021 synchronize by Tianrun-Y
August 1, 2024 11:21 14m 54s Tianrun-Y:better-inverses
August 1, 2024 11:21 14m 54s
Better Nambooripad
Configuration options #365: Pull request #1026 synchronize by Tianrun-Y
August 1, 2024 11:07 15m 1s Tianrun-Y:better-nambooripad
August 1, 2024 11:07 15m 1s
Better inverses
Configuration options #363: Pull request #1021 synchronize by Tianrun-Y
July 31, 2024 15:45 11m 16s Tianrun-Y:better-inverses
July 31, 2024 15:45 11m 16s
Better inverses
Configuration options #362: Pull request #1021 synchronize by Tianrun-Y
July 31, 2024 15:07 10m 58s Tianrun-Y:better-inverses
July 31, 2024 15:07 10m 58s
Mitsch Order
Configuration options #361: Pull request #1024 synchronize by Tianrun-Y
July 31, 2024 14:02 11m 8s Tianrun-Y:mitsch-new
July 31, 2024 14:02 11m 8s
Better Nambooripad
Configuration options #356: Pull request #1026 opened by Tianrun-Y
July 31, 2024 10:49 15m 9s Tianrun-Y:better-nambooripad
July 31, 2024 10:49 15m 9s
Better inverses
Configuration options #352: Pull request #1021 synchronize by Tianrun-Y
July 30, 2024 20:48 14m 42s Tianrun-Y:better-inverses
July 30, 2024 20:48 14m 42s
Improved IsIsomorphicSemigroup Method (#1023)
Configuration options #344: Commit fecdb4c pushed by james-d-mitchell
July 29, 2024 15:28 14m 39s main
July 29, 2024 15:28 14m 39s
Improved IsIsomorphicSemigroup Method
Configuration options #343: Pull request #1023 synchronize by james-d-mitchell
July 29, 2024 14:43 14m 46s tillman-froehlich:tillman
July 29, 2024 14:43 14m 46s