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

Run CI on every pull request, and keep agent tooling out of the statistics#1
thorstenalpers merged 1 commit into
mainfrom
chore/ci-and-repo-hygiene

Run CI on every pull request, and keep agent tooling out of the stati…

202db08
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Host
succeeded Aug 17, 2026 in 7m 45s