diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2019-10-17 16:12:42 -0700 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2019-10-18 20:46:01 -0700 |
commit | aff54e17e5bb0642df2417014cb541ff0900a114 (patch) | |
tree | 07bec7a04b5fb34e64a8fbae66d7ce2dd0e6cf7e /printing_templates/Two Dives.html | |
parent | f099b22820f09ef04395e46d822b0fe2cbcfeb8d (diff) | |
download | subsurface-aff54e17e5bb0642df2417014cb541ff0900a114.tar.gz |
GitHub Actions: post releases
This so far just works on push and hopefullt pull requests, not for tags
and therefore actual releases.
In order not to conflict with the binaries from Travis, I changed the
name to "ci-release" instead of "continuous".
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'printing_templates/Two Dives.html')
0 files changed, 0 insertions, 0 deletions