Tobi Schäfer f25b3c0b76 Simplify repository workflows ... Use deploy workflow for staging, too		2025-05-25 20:58:23 +02:00
..
workflows	Simplify repository workflows	2025-05-25 20:58:23 +02:00