Skip to content

Run CI on every pull request, and keep agent tooling out of the statistics - #1

Merged
thorstenalpers merged 1 commit into
mainfrom
chore/ci-and-repo-hygiene
Aug 17, 2026
Merged

thorstenalpers merged 1 commit into
mainfrom
chore/ci-and-repo-hygiene

Commits

  1. Commits on Aug 17, 2026