I wanted to draw some attention to some updates in this area over the past few months. Improvements we’ve made:
- automatic Debian builds on PR merge – Debian CI Jobs
- speedier Debian builds – no link, but @evgeni did various improvements within packaging and CI to reduce build times (in one case I believe from 2 hours to < 30 minutes)