Lewis Crichton 9c95956c96 ci: allow manual submissions (#140)		2023-10-07 18:10:07 +02:00
..
workflows	ci: allow manual submissions (#140)	2023-10-07 18:10:07 +02:00