Skip to content

Actions: semigroups/Semigroups

Actions

Configuration options

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
config-options.yml
348 workflow runs
348 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build(deps): bump codecov/codecov-action from 3 to 5 Configuration options #444: Commit 88968fa pushed by james-d-mitchell
November 19, 2024 09:46 13m 14s main
main
November 19, 2024 09:46 13m 14s
build(deps): bump codecov/codecov-action from 3 to 5 Configuration options #443: Pull request #1046 opened by dependabot bot
November 18, 2024 02:16 14m 21s dependabot/github_actions/codecov/codecov-action-5
dependabot/github_actions/codecov/codecov-action-5
November 18, 2024 02:16 14m 21s
Better Nambooripad (#1026) Configuration options #442: Commit 810d0b4 pushed by james-d-mitchell
November 15, 2024 19:01 14m 11s main
main
November 15, 2024 19:01 14m 11s
Better Nambooripad Configuration options #441: Pull request #1026 synchronize by james-d-mitchell
November 10, 2024 20:45 13m 28s Tianrun-Y:better-nambooripad
Tianrun-Y:better-nambooripad
November 10, 2024 20:45 13m 28s
Use GAP kernel helper IS_STRING_REP to test for strings Configuration options #440: Commit 8066a3e pushed by james-d-mitchell
November 8, 2024 10:51 13m 4s stable-5.4
stable-5.4
November 8, 2024 10:51 13m 4s
Better inverses (#1021) Configuration options #439: Commit 4f732b7 pushed by james-d-mitchell
November 8, 2024 10:29 13m 8s main
main
November 8, 2024 10:29 13m 8s
Better inverses Configuration options #438: Pull request #1021 synchronize by james-d-mitchell
November 8, 2024 10:17 15m 26s Tianrun-Y:better-inverses
Tianrun-Y:better-inverses
November 8, 2024 10:17 15m 26s
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
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 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
Generalize IsSelfDualSemigroup declaration Configuration options #434: Commit 317dd11 pushed by james-d-mitchell
November 2, 2024 22:23 13m 21s main
main
November 2, 2024 22:23 13m 21s
Generalize IsSelfDualSemigroup declaration Configuration options #433: Pull request #1044 opened by fingolfin
November 2, 2024 19:06 13m 22s fingolfin:patch-1
fingolfin:patch-1
November 2, 2024 19:06 13m 22s
Fix issue in gen. pairs for cong Configuration options #432: Commit dfcb945 pushed by james-d-mitchell
October 25, 2024 16:24 13m 24s stable-5.4
stable-5.4
October 25, 2024 16:24 13m 24s
Fix bug in gen pairs Configuration options #431: Pull request #1043 synchronize by james-d-mitchell
October 25, 2024 09:07 13m 17s james-d-mitchell:fix-bug-in-gen-pairs
james-d-mitchell:fix-bug-in-gen-pairs
October 25, 2024 09:07 13m 17s
Fix bug in gen pairs Configuration options #430: Pull request #1043 opened by james-d-mitchell
October 24, 2024 08:43 13m 18s james-d-mitchell:fix-bug-in-gen-pairs
james-d-mitchell:fix-bug-in-gen-pairs
October 24, 2024 08:43 13m 18s
Update version numbers etc for v5.4.0 Configuration options #429: Commit 265de04 pushed by james-d-mitchell
October 20, 2024 11:06 13m 12s main
main
October 20, 2024 11:06 13m 12s
Update version numbers etc for v5.4.0 Configuration options #428: Commit 265de04 pushed by james-d-mitchell
October 19, 2024 16:03 13m 14s stable-5.4
stable-5.4
October 19, 2024 16:03 13m 14s
Update version numbers etc for v5.4.0 Configuration options #427: Pull request #1041 synchronize by james-d-mitchell
October 19, 2024 11:12 13m 19s rc-v5.4.0
rc-v5.4.0
October 19, 2024 11:12 13m 19s
Update version numbers etc for v5.4.0 Configuration options #426: Pull request #1041 synchronize by james-d-mitchell
October 19, 2024 11:10 13m 31s rc-v5.4.0
rc-v5.4.0
October 19, 2024 11:10 13m 31s
Add sandwich semigroup Configuration options #425: Pull request #1042 synchronize by MTWhyte
October 18, 2024 16:14 13m 29s MTWhyte:add-sandwich-semigroup
MTWhyte:add-sandwich-semigroup
October 18, 2024 16:14 13m 29s
Add sandwich semigroup Configuration options #424: Pull request #1042 opened by MTWhyte
October 18, 2024 14:55 13m 37s MTWhyte:add-sandwich-semigroup
MTWhyte:add-sandwich-semigroup
October 18, 2024 14:55 13m 37s
Update version numbers etc for v5.4.0 Configuration options #423: Pull request #1041 opened by james-d-mitchell
October 18, 2024 13:57 13m 39s rc-v5.4.0
rc-v5.4.0
October 18, 2024 13:57 13m 39s
Merge branch 'stable-5.3' Configuration options #422: Commit 9ea21c5 pushed by james-d-mitchell
October 17, 2024 13:50 13m 7s stable-5.4
stable-5.4
October 17, 2024 13:50 13m 7s
build(deps): bump mamba-org/setup-micromamba from 1 to 2 Configuration options #421: Commit d6c7d19 pushed by james-d-mitchell
October 7, 2024 07:07 13m 32s main
main
October 7, 2024 07:07 13m 32s
build(deps): bump mamba-org/setup-micromamba from 1 to 2 Configuration options #420: Pull request #1040 opened by dependabot bot
October 7, 2024 02:28 13m 22s dependabot/github_actions/mamba-org/setup-micromamba-2
dependabot/github_actions/mamba-org/setup-micromamba-2
October 7, 2024 02:28 13m 22s