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

Author	SHA1	Message	Date
robin	c4ce8e66b6	fix: removed unused packages from 'Install system dependencies' step PR Checks / lint-test-and-build (pull_request) Successful in 3m7s Details	2026-09-09 17:13:17 +02:00
robin	a9328043b7	feat: moved parts of CI/CD to pull requests, rather than after merging PR Checks / lint-test-and-build (pull_request) Successful in 3m7s Details	2026-09-09 17:06:19 +02:00