diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2019-10-26 22:28:30 -0400 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2019-10-27 03:42:04 -0700 |
commit | 6b080525b24ed1d57de7605ee9faef9ed80af774 (patch) | |
tree | a83d996d4b1982f06b0973c433dd7a3bf07fbfac /theme | |
parent | 7b45b930806b78a33eba3bc9f48496d64a2faf00 (diff) | |
download | subsurface-6b080525b24ed1d57de7605ee9faef9ed80af774.tar.gz |
GitHub Actions: switch back to the GitHub artifacts for PRs
transfer.sh has suddenly started to time out. And for the rather
occasional need of having a binary to test from a PR, this should be
good enough.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'theme')
0 files changed, 0 insertions, 0 deletions