Repository navigation

Take release notes from the changelog and fix CI triggers - #151

Merged

bbatsov merged 4 commits into

mainfrom

gha-housekeeping

Oct 10, 2026

Merged

Take release notes from the changelog and fix CI triggers#151
bbatsov merged 4 commits into
mainfrom
gha-housekeeping

Commits on Sep 15, 2026
- Take the release notes from the changelog
  bbatsov
  committed
  83f44b9
- Let Dependabot keep the GitHub Actions up to date
  bbatsov
  committed
  4bdb0ad
- Bump actions/checkout to v6 and pin setup-emacs to v8.0
  bbatsov
  committed
  77bf9ec
- Run CI on every push and pull request
  bbatsov
  committed
  9eb052b