Skip to content

Actions: semigroups/Semigroups

codespell

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
87 workflow run results
87 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Joe's info
codespell #183: Pull request #1002 opened by Joseph-Edwards
February 23, 2024 11:57 23s Joseph-Edwards:master
February 23, 2024 11:57 23s
Release candidate for v5.3.6
codespell #182: Pull request #1000 opened by james-d-mitchell
February 19, 2024 17:25 18s rc-v5.3.6
February 19, 2024 17:25 18s
Print empty lists with two spaces for consistency
codespell #181: Pull request #994 synchronize by zickgraf
February 16, 2024 09:43 21s zickgraf:main
February 16, 2024 09:43 21s
Add FreeSemilattice constructor
codespell #180: Pull request #995 synchronize by Jun2M
February 14, 2024 14:58 23s Jun2M:main
February 14, 2024 14:58 23s
Release candidate for v5.3.5
codespell #178: Pull request #998 synchronize by james-d-mitchell
February 14, 2024 10:07 19s rc-v5.3.5
February 14, 2024 10:07 19s
Release candidate for v5.3.5
codespell #177: Pull request #998 synchronize by james-d-mitchell
February 14, 2024 10:06 20s rc-v5.3.5
February 14, 2024 10:06 20s
Add FreeSemilattice constructor
codespell #174: Pull request #995 synchronize by Jun2M
February 11, 2024 16:50 22s Jun2M:main
February 11, 2024 16:50 22s
Add FreeSemilattice constructor
codespell #173: Pull request #995 synchronize by Jun2M
February 10, 2024 18:57 19s Jun2M:main
February 10, 2024 18:57 19s
Release candidate for v5.3.5
codespell #170: Pull request #998 opened by james-d-mitchell
February 10, 2024 12:14 17s rc-v5.3.5
February 10, 2024 12:14 17s
Add FreeSemilattice constructor
codespell #168: Pull request #995 synchronize by Jun2M
February 8, 2024 13:18 19s Jun2M:main
February 8, 2024 13:18 19s
Add FreeSemilattice constructor
codespell #167: Pull request #995 opened by Jun2M
February 7, 2024 17:03 18s Jun2M:main
February 7, 2024 17:03 18s
Print empty lists with two spaces for consistency
codespell #166: Pull request #994 synchronize by zickgraf
February 5, 2024 15:13 20s zickgraf:main
February 5, 2024 15:13 20s
Print empty lists with two spaces for consistency
codespell #165: Pull request #994 synchronize by zickgraf
February 5, 2024 14:39 21s zickgraf:main
February 5, 2024 14:39 21s
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