Repository navigation

chore: Dependabot without majors, and one CI check for main to require - #4

Merged

PaulRichez merged 2 commits into

mainfrom

chore/dependabot-no-majors

Nov 8, 2026

Merged

chore: Dependabot without majors, and one CI check for main to require#4
PaulRichez merged 2 commits into
mainfrom
chore/dependabot-no-majors

Commits on Nov 8, 2026
- chore(dependabot): minor and patch updates only, majors by hand
  PaulRichez
  committed
  3e7fd8c
- ci: one 'all examples' check for main to require
  PaulRichez
  committed
  8f8b8f0