Badge 2025 (#4409) #3237

Job	Run time
Check frontend needs building	10s
Check backend needs building	13s
Check pretix needs building	14s
Build pretix	0s
Build backend	0s
Deploy backend	38s
Wait backend deployment	12s
Build frontend / Build	6m 4s
Deploy frontend	1m 5s
Wait frontend deployment	56s
	9m 32s

Provide feedback