Florian Albrechtskirchinger 6edb381e15 Don't run CI twice (on push AND pull request)		2025-02-11 10:01:06 +01:00
..
workflows	Don't run CI twice (on push AND pull request)	2025-02-11 10:01:06 +01:00