Skip to content

Trigger new CI runs on bot-generated commits#123

Merged
knoepfel merged 2 commits intomainfrom
jules-maintenance-trigger-ci-on-bot-commits
Nov 20, 2025
Merged

Trigger new CI runs on bot-generated commits#123
knoepfel merged 2 commits intomainfrom
jules-maintenance-trigger-ci-on-bot-commits

Commits

Commits on Nov 19, 2025