Skip to content

Actions: semigroups/Semigroups

Actions

Configuration options

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Use LoadKernelExtension for gapbind_demo Configuration options #419: Commit db2bd96 pushed by james-d-mitchell
September 9, 2024 19:40 15m 3s main
main
September 9, 2024 19:40 15m 3s
Use LoadKernelExtension for gapbind_demo Configuration options #418: Pull request #1039 opened by fingolfin
September 9, 2024 15:54 13m 23s fingolfin:mh/LoadKernelExtension
fingolfin:mh/LoadKernelExtension
September 9, 2024 15:54 13m 23s
Update for recent gaplint Configuration options #417: Commit 9e06a11 pushed by james-d-mitchell
August 31, 2024 17:17 13m 25s main
main
August 31, 2024 17:17 13m 25s
Update for recent gaplint Configuration options #416: Pull request #1037 synchronize by james-d-mitchell
August 31, 2024 15:49 12m 57s james-d-mitchell:gaplint-v1.3.2
james-d-mitchell:gaplint-v1.3.2
August 31, 2024 15:49 12m 57s
Update for recent gaplint Configuration options #415: Pull request #1037 synchronize by james-d-mitchell
August 31, 2024 15:44 12m 41s james-d-mitchell:gaplint-v1.3.2
james-d-mitchell:gaplint-v1.3.2
August 31, 2024 15:44 12m 41s
Try fix ci Configuration options #414: Commit d03e249 pushed by james-d-mitchell
August 31, 2024 15:43 12m 25s main
main
August 31, 2024 15:43 12m 25s
Try fix ci Configuration options #413: Pull request #1038 synchronize by james-d-mitchell
August 31, 2024 13:47 12m 56s james-d-mitchell:fix-ci
james-d-mitchell:fix-ci
August 31, 2024 13:47 12m 56s
Try fix ci Configuration options #412: Pull request #1038 opened by james-d-mitchell
August 31, 2024 13:34 13m 7s james-d-mitchell:fix-ci
james-d-mitchell:fix-ci
August 31, 2024 13:34 13m 7s
Update for recent gaplint Configuration options #411: Pull request #1037 opened by james-d-mitchell
August 31, 2024 12:06 9m 33s james-d-mitchell:gaplint-v1.3.2
james-d-mitchell:gaplint-v1.3.2
August 31, 2024 12:06 9m 33s
kernel: Semigroups can be used in GAP on julia Configuration options #410: Commit 3fa9f22 pushed by james-d-mitchell
August 30, 2024 16:07 14m 50s main
main
August 30, 2024 16:07 14m 50s
kernel: Semigroups can be used in GAP on julia Configuration options #409: Pull request #1036 opened by james-d-mitchell
August 30, 2024 15:06 15m 33s james-d-mitchell:julia
james-d-mitchell:julia
August 30, 2024 15:06 15m 33s
Fix ChooseHashFunction rank issue. Configuration options #408: Commit 323f949 pushed by james-d-mitchell
August 30, 2024 10:20 14m 20s main
main
August 30, 2024 10:20 14m 20s