Alexandre Aubin d4d74e47ad ci: also trigger jobs on push ?		2023-09-24 20:14:13 +02:00
..
workflows	ci: also trigger jobs on push ?	2023-09-24 20:14:13 +02:00