Repository navigation

Automate GitHub releases and keep the actions current - #706

Merged

bbatsov merged 3 commits into

gha-housekeeping

Nov 7, 2026

Merged

Automate GitHub releases and keep the actions current#706
bbatsov merged 3 commits into
masterfrom
gha-housekeeping

Commits on Sep 15, 2026
- Create GitHub releases from the changelog when a tag is pushed
  bbatsov
  committed
  3d43a5e
- Let Dependabot keep the GitHub Actions up to date
  bbatsov
  committed
  cf9dba5
- Pin jcs090218/setup-emacs to v3 instead of tracking master
  bbatsov
  committed
  25c2e76