Adriaan de Groot
c1d7d3daa6
ci: put a space after directory names in user-visible messages
...
- this makes is much easier to double-click-select the directory,
since the . isn't attached and won't be selected along with the
directory anymore.
4 years ago
Adriaan de Groot
4c8a624c0b
ci: update the GPG key ID used for signing
4 years ago
Adriaan de Groot
a4f9ac9aea
CI: update signing key
...
The signing key expired some time ago, and while I made a
new signing key, there's no indication that a different
key is being used. Update the ID for future signatures.
5 years ago
Adriaan de Groot
cb659555a2
CI: don't accidentally push lightweight translation tag
5 years ago
Adriaan de Groot
f51111d0f3
CI: Make string-freeze checking part of release process
5 years ago
Adriaan de Groot
eb84c0488d
CI: Polish release script when -B is used to skip build
5 years ago
Adriaan de Groot
d68ff5f694
CI: add option handling (alongside env) to influence build
5 years ago
Adriaan de Groot
e2cb2690bd
CI: tell where if the release builds fail
5 years ago
Adriaan de Groot
6c5d0e9d3d
CI: make scripts executable
5 years ago
Adriaan de Groot
c44eaf107f
CI: When stopping the build early, log where it was left
6 years ago
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