chore: Simplify github workflows and allow for required jobs#1548
Merged
Luca Forstner (lforst) merged 5 commits intomainfrom Mar 13, 2026
Merged
chore: Simplify github workflows and allow for required jobs#1548Luca Forstner (lforst) merged 5 commits intomainfrom
Luca Forstner (lforst) merged 5 commits intomainfrom