鲁树人 bea2f4b7d4 build: make zip archive of final zip

2023-12-28 23:09:56 +00:00

..

deploy.sh

ci: automatically promote latest main build as published.

2023-06-10 21:59:08 +01:00

make-win64.sh

build: make zip archive of final zip

2023-12-28 23:09:56 +00: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

write-version.mjs

build: include commit hash in version.txt

2023-12-28 20:38:45 +00:00