12 Commits (dc16afac4a4e1cf3e2448cd291aaedc4aee0f352)

Author	SHA1	Message	Date
Adriaan de Groot	cb659555a2	CI: don't accidentally push lightweight translation tag	7 years ago
Adriaan de Groot	f51111d0f3	CI: Make string-freeze checking part of release process	7 years ago
Adriaan de Groot	eb84c0488d	CI: Polish release script when -B is used to skip build	7 years ago
Adriaan de Groot	d68ff5f694	CI: add option handling (alongside env) to influence build	7 years ago
Adriaan de Groot	e2cb2690bd	CI: tell where if the release builds fail	7 years ago
Adriaan de Groot	6c5d0e9d3d	CI: make scripts executable	7 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	8 years ago
Adriaan de Groot	59dd181cfc	ci: complete release script ... - Create tag, tarball, and test tarball - Print instructions for completing the release	8 years ago
Adriaan de Groot	cfe92252d2	ci: if clang is available, do that build too	8 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.	8 years ago