CI now syncs dev to main #24

Merged
robin merged 1 commits from dev into main 2026-09-06 17:36:15 +02:00
Owner
No description provided.
robin added 1 commit 2026-09-06 17:36:09 +02:00
robin merged commit 81c58d5ca0 into main 2026-09-06 17:36:15 +02:00
Sign in to join this conversation.
No Reviewers
No labels
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: robin/dttmr-fe#24