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

james-d-mitchell merged 2 commits into
libsemigroups:mainfrom
james-d-mitchell:codex/github-release-changelog

Document Git branch and GitHub workflow

2a5fb36
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Check doc builds without warnings
succeeded Oct 27, 2026 in 30s