Moritz 'e1mo' Fromm 6bdafe2bbe Diff server closures on pull_request ... Also updated the triggers, only building on pushes to main since the rest will eventually be a PR to main, so that the we can ditch the avoid duplicates action.		2023-07-24 18:32:34 +02:00
..
workflows	Diff server closures on pull_request	2023-07-24 18:32:34 +02:00