CI now syncs dev to main #24

Merged
robin merged 1 commits from dev into main 2026-09-06 17:36:15 +02:00
1 Commits
Author SHA1 Message Date
robin 227dc06b58 fix: ci now syncs dev to main 2026-09-06 17:34:10 +02:00