5 Commits (c44e221fb665f762c858bd63c2f8889f464bba64)

Author SHA1 Message Date
Adriaan de Groot 094110dccf CI: make the release script more flexible 6 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