Alexis Sellier c1d4e87d25 ci: Use local deploy script instead of CI ... Further reduce GitHub reliance.		2023-05-10 10:41:01 +02:00
..
workflows	ci: Use local deploy script instead of CI	2023-05-10 10:41:01 +02:00