buffet c5fac021e5 ci: only run CI on push if it goes to main		2024-05-20 12:06:16 +02:00
..
workflows	ci: only run CI on push if it goes to main	2024-05-20 12:06:16 +02:00