diff options
author | Dirk Hohndel <dirk@hohndel.org> | 2020-02-10 14:22:20 -0800 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2020-02-10 14:22:22 -0800 |
commit | b3f0fd3e1894ab987be268726abca5ec2ebaeaf9 (patch) | |
tree | d1cc45e4018c7a2b19ce833cd631fa3b08f908bc /.github | |
parent | f915c45c431b2fdf6bc8d6ae6c803d916cd78570 (diff) | |
download | subsurface-b3f0fd3e1894ab987be268726abca5ec2ebaeaf9.tar.gz |
build-system/coverity: it seems silly to need both wget and curl
But hopefully with this we'll get the Coverity scans back.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/coverity-scan.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/coverity-scan.yml b/.github/workflows/coverity-scan.yml index 8e33bd933..ac3635405 100644 --- a/.github/workflows/coverity-scan.yml +++ b/.github/workflows/coverity-scan.yml @@ -25,7 +25,7 @@ jobs: qml-module-qtquick2 qt5-default qt5-qmake qtchooser qtconnectivity5-dev \ qtdeclarative5-dev qtdeclarative5-private-dev qtlocation5-dev \ qtpositioning5-dev qtscript5-dev qttools5-dev qttools5-dev-tools \ - qtquickcontrols2-5-dev + qtquickcontrols2-5-dev wget curl - name: Download Coverity Build Tool run: | |