Skip to content

Actions: semigroups/Semigroups

codespell

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
258 workflow runs
258 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

INV is deprecated, use InverseMutable instead
codespell #162: Pull request #992 synchronize by james-d-mitchell
January 31, 2024 07:23 25s fingolfin:mh/INV
January 31, 2024 07:23 25s
INV is deprecated, use InverseMutable instead
codespell #161: Pull request #992 opened by fingolfin
January 30, 2024 22:35 17s fingolfin:mh/INV
January 30, 2024 22:35 17s
Fix a typo
codespell #160: Pull request #991 opened by fingolfin
January 30, 2024 22:35 18s fingolfin:mh/typo
January 30, 2024 22:35 18s
Release candidate for v5.3.4
codespell #152: Pull request #982 synchronize by james-d-mitchell
January 24, 2024 12:54 19s rc-v5.3.4
January 24, 2024 12:54 19s
Release candidate for v5.3.4
codespell #149: Pull request #982 synchronize by james-d-mitchell
January 24, 2024 10:53 17s rc-v5.3.4
January 24, 2024 10:53 17s
Release candidate for v5.3.4
codespell #143: Pull request #982 opened by james-d-mitchell
January 24, 2024 10:04 24s rc-v5.3.4
January 24, 2024 10:04 24s
Set up Dependabot to update GitHub Actions
codespell #142: Pull request #981 opened by fingolfin
January 24, 2024 09:38 22s fingolfin:mh/dependabot
January 24, 2024 09:38 22s
Linting
codespell #141: Pull request #980 synchronize by james-d-mitchell
January 23, 2024 16:58 5m 11s james-d-mitchell:lint
January 23, 2024 16:58 5m 11s
Fix for HPCombi
codespell #140: Pull request #978 synchronize by james-d-mitchell
January 23, 2024 16:57 54s james-d-mitchell:hpcombi-ci
January 23, 2024 16:57 54s
Linting
codespell #139: Pull request #980 opened by james-d-mitchell
January 23, 2024 16:38 18s james-d-mitchell:lint
January 23, 2024 16:38 18s