projects / platform / upstream / libinput.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed2e791) | patch
gitlab CI: switch the coverity job to Debian stable
authorPeter Hutterer <peter.hutterer@who-t.net>
Wed, 11 Nov 2020 01:16:06 +0000 (11:16 +1000)
committerPeter Hutterer <peter.hutterer@who-t.net>
Wed, 11 Nov 2020 23:31:37 +0000 (09:31 +1000)
commitb2dbe19605bf3a39ee19cd0c9a684b0e633e30fb
tree28b5f5c6826b7c7169fdb6a6bafd5a987120ac2ctree | snapshot
parented2e791f04c0f080df72d6cf825656b8bdd12b1ecommit | diff
gitlab CI: switch the coverity job to Debian stable

coverity doesn't work with gcc 10, it fails with "invalid GNU version
number: 201". F31 is about to be EOL but we can't use to F32 or later.

So let's switch to debian stable instead, that one will stick around for a bit
longer.

Debian packages are the same as the Ubuntu packages

Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
.gitlab-ci.yml diff | blob | history
.gitlab-ci/ci.template diff | blob | history
.gitlab-ci/config.yml diff | blob | history
Domain: Graphics System / Input Management;