Jixun Wu dd7a238eb8 ci: automatically promote latest main build as published.		2023-06-10 21:59:08 +01:00
..
deploy.sh	ci: automatically promote latest main build as published.	2023-06-10 21:59:08 +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: fix existing deployment	2023-06-10 21:49:00 +01:00