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 /desktop-widgets/divepicturewidget.h | |
| 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 'desktop-widgets/divepicturewidget.h')
0 files changed, 0 insertions, 0 deletions