Repository navigation

ci: reinstate deps check; adjust PR sorting in releases; add PR title check - #188

Merged

dwilding merged 3 commits into

mainfrom

Oct 2, 2026

Merged

ci: reinstate deps check; adjust PR sorting in releases; add PR title check#188
dwilding merged 3 commits into
mainfrom
extra-checks

Commits on Oct 2, 2026
- reinstate workflow for checking deps
  dwilding
  committed
  4841fcf
- change PR sorting in release notes
  dwilding
  committed
  fa428c8
- add workflow to check PR titles
  dwilding
  committed
  5a172f6