Skip to content

Add a changelog populated from GitHub releases - #14

Merged
james-d-mitchell merged 2 commits into
libsemigroups:mainfrom
james-d-mitchell:codex/github-release-changelog
Oct 27, 2026
Merged

Add a changelog populated from GitHub releases#14
james-d-mitchell merged 2 commits into
libsemigroups:mainfrom
james-d-mitchell:codex/github-release-changelog

Commits

  1. Commits on Oct 27, 2026