5 commits

Author	SHA1	Message	Date
Max Schmitt	185cc43dbf	devops: fix merge reports on PRs (#31232)	2024-06-10 19:21:02 +02:00
Max Schmitt	9e6f051488	devops: merge other workflows (#31121)	2024-06-04 08:59:50 +02:00
Max Schmitt	8975684753	devops: group run-test commands into groups (#31116)	2024-06-03 16:39:18 +02:00
Max Schmitt	8ef32a9394	devops: move microphone access into own action (#30634)	2024-05-08 20:03:37 +01:00
Max Schmitt	8a91ef1f55	devops: refactor GitHub Actions workflows (#30524)	2024-05-01 18:44:15 +00:00