Skip to content

Actions: semigroups/Semigroups

codespell

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
248 workflow runs
248 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update for recent gaplint
codespell #329: Pull request #1037 synchronize by james-d-mitchell
August 31, 2024 15:49 18s james-d-mitchell:gaplint-v1.3.2
August 31, 2024 15:49 18s
Update for recent gaplint
codespell #328: Pull request #1037 synchronize by james-d-mitchell
August 31, 2024 15:44 20s james-d-mitchell:gaplint-v1.3.2
August 31, 2024 15:44 20s
Try fix ci
codespell #327: Pull request #1038 synchronize by james-d-mitchell
August 31, 2024 13:47 16s james-d-mitchell:fix-ci
August 31, 2024 13:47 16s
Try fix ci
codespell #326: Pull request #1038 opened by james-d-mitchell
August 31, 2024 13:34 15s james-d-mitchell:fix-ci
August 31, 2024 13:34 15s
Fix ChooseHashFunction rank issue.
codespell #323: Pull request #1035 opened by reiniscirpons
August 30, 2024 09:15 22s reiniscirpons:fix-rank
August 30, 2024 09:15 22s
Fix rank issue for ChooseHashFunction
codespell #322: Pull request #1034 synchronize by james-d-mitchell
August 29, 2024 19:56 24s reiniscirpons:fix-rank
August 29, 2024 19:56 24s
Fix rank issue for ChooseHashFunction
codespell #321: Pull request #1034 opened by reiniscirpons
August 29, 2024 15:48 21s reiniscirpons:fix-rank
August 29, 2024 15:48 21s
Release candidate v5.4.0
codespell #320: Pull request #1033 synchronize by james-d-mitchell
August 27, 2024 15:39 23s james-d-mitchell:rc-v5.4.0
August 27, 2024 15:39 23s
Release candidate v5.4.0
codespell #319: Pull request #1033 opened by james-d-mitchell
August 27, 2024 15:26 19s james-d-mitchell:rc-v5.4.0
August 27, 2024 15:26 19s
Mitsch Order
codespell #312: Pull request #1024 synchronize by Tianrun-Y
August 23, 2024 08:26 21s Tianrun-Y:mitsch-new
August 23, 2024 08:26 21s
fix typo in nambooripad partial order documentation
codespell #311: Pull request #1030 synchronize by james-d-mitchell
August 22, 2024 10:46 18s Tianrun-Y:fix-typo
August 22, 2024 10:46 18s
fix typo in nambooripad partial order documentation
codespell #310: Pull request #1030 opened by Tianrun-Y
August 21, 2024 14:28 26s Tianrun-Y:fix-typo
August 21, 2024 14:28 26s
Mitsch Order
codespell #309: Pull request #1024 synchronize by Tianrun-Y
August 21, 2024 13:30 20s Tianrun-Y:mitsch-new
August 21, 2024 13:30 20s
Mitsch Order
codespell #308: Pull request #1024 synchronize by Tianrun-Y
August 21, 2024 13:12 17s Tianrun-Y:mitsch-new
August 21, 2024 13:12 17s
Mitsch Order
codespell #306: Pull request #1024 synchronize by Tianrun-Y
August 21, 2024 12:29 29s Tianrun-Y:mitsch-new
August 21, 2024 12:29 29s