2 Commits

Author	SHA1	Message	Date
Adriaan de Groot	cfe92252d2	ci: if clang is available, do that build too	2018-06-27 12:53:45 -04:00
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.	2018-06-27 12:50:20 -04:00