鲁树人 f10459ab69 ci: avoid installing debian dependencies		2023-06-10 21:32:41 +01:00
..
deploy.sh	ci: avoid installing debian dependencies	2023-06-10 21:32:41 +01:00
publish.sh	ci: don't publish when we are inside PR	2023-06-10 16:11:26 +01:00
read_json.mjs	ci: avoid installing debian dependencies	2023-06-10 21:32:41 +01:00