mirror of
https://github.com/vector-im/element-web.git
synced 2026-01-19 07:21:10 +01:00
- Fix filtering for Design issues - Split out spaces jobs for new and old boards, so they don't depend on each other - Remove voice message job for the old board - Rename Priority bugs workflow to be shorter - Improve naming for jobs so they're easier to read in the GitHub Actions page