diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-12-19 09:45:17 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-12-19 15:33:17 -0800 |
| commit | 0143d64439ad1da52821bdc5f208163bfe2dd679 (patch) | |
| tree | 4809359e097f24f06ef390f0b2ae888634c15ed2 /desktop-widgets/usermanual.cpp | |
| parent | 6a7152bb400ef32cdf3403a29f987fac96c152d9 (diff) | |
| download | subsurface-0143d64439ad1da52821bdc5f208163bfe2dd679.tar.gz | |
GitHub Actions: build all three targets in the Tumbleweed build
This is kind of a random choice - I don't see much value to build this
everywhere, but it's kinda neat to use this to test that the -all option works
correctly and does the right thing with WebKit now. And it will also ensure
that the downloader build isn't broken.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets/usermanual.cpp')
0 files changed, 0 insertions, 0 deletions