Adriaan de Groot
e2cb2690bd
CI: tell where if the release builds fail
2019-08-07 12:50:46 +02:00
Adriaan de Groot
6c5d0e9d3d
CI: make scripts executable
2019-08-07 12:18:26 +02:00
Adriaan de Groot
c44eaf107f
CI: When stopping the build early, log where it was left
2019-05-14 05:29:18 -04:00
Adriaan de Groot
094110dccf
CI: make the release script more flexible
2019-04-15 09:52:43 -04:00
Adriaan de Groot
6f39db4752
ci: name tags consistently
2018-06-28 06:02:18 -04:00
Adriaan de Groot
59dd181cfc
ci: complete release script
...
- Create tag, tarball, and test tarball
- Print instructions for completing the release
2018-06-28 05:48:04 -04:00
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
