12 Commits (7ec6dff3528cdc20b1f25f5e81dc7344169474c7)

Author	SHA1	Message	Date
Adriaan de Groot	cb659555a2	CI: don't accidentally push lightweight translation tag	6 years ago
Adriaan de Groot	f51111d0f3	CI: Make string-freeze checking part of release process	6 years ago
Adriaan de Groot	eb84c0488d	CI: Polish release script when -B is used to skip build	6 years ago
Adriaan de Groot	d68ff5f694	CI: add option handling (alongside env) to influence build	6 years ago
Adriaan de Groot	e2cb2690bd	CI: tell where if the release builds fail	6 years ago
Adriaan de Groot	6c5d0e9d3d	CI: make scripts executable	6 years ago
Adriaan de Groot	c44eaf107f	CI: When stopping the build early, log where it was left	7 years ago
Adriaan de Groot	094110dccf	CI: make the release script more flexible	7 years ago
Adriaan de Groot	6f39db4752	ci: name tags consistently	7 years ago
Adriaan de Groot	59dd181cfc	ci: complete release script ... - Create tag, tarball, and test tarball - Print instructions for completing the release	7 years ago
Adriaan de Groot	cfe92252d2	ci: if clang is available, do that build too	7 years ago
Adriaan de Groot	37552c184b	ci: add a release script ... This is the start of a release script. The idea is to automate a whole bunch of the steps documented in ci/RELEASE.md, so that a release becomes more straightforward. Assumptions abound: basically this is going to work on my workstation, and not on any other.	7 years ago