CI now runs when opening a PR #25

Merged
robin merged 2 commits from dev into main 2026-09-09 17:11:03 +02:00
Owner
No description provided.
robin added 2 commits 2026-09-09 17:07:09 +02:00
robin merged commit a67189a493 into main 2026-09-09 17:11:03 +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#25