Merging PRs now requires linting/formatting/tests and builds to complete #48

Merged
robin merged 2 commits from dev into main 2026-09-09 17:19:41 +02:00
Owner
No description provided.
robin added 1 commit 2026-09-09 17:11:40 +02:00
feat: moved parts of CI/CD to pull requests, rather than after merging
PR Checks / lint-test-and-build (pull_request) Successful in 3m7s
a9328043b7
robin added 1 commit 2026-09-09 17:14:09 +02:00
fix: removed unused packages from 'Install system dependencies' step
PR Checks / lint-test-and-build (pull_request) Successful in 3m7s
c4ce8e66b6
robin merged commit 7821009f96 into main 2026-09-09 17:19:41 +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-api#48