鲁树人 e3e14c5cde ci: don't publish when we are inside PR		2023-06-10 16:11:26 +01:00
..
deploy.sh	ci: main branch should be considered as prod deployment	2023-06-09 01:17:07 +01:00
publish.sh	ci: don't publish when we are inside PR	2023-06-10 16:11:26 +01:00