projects / platform / upstream / libinput.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8691b83) | patch
gitlab CI: add curl to the debian image
authorPeter Hutterer <peter.hutterer@who-t.net>
Mon, 16 Nov 2020 03:25:09 +0000 (13:25 +1000)
committerPeter Hutterer <peter.hutterer@who-t.net>
Mon, 16 Nov 2020 03:30:27 +0000 (13:30 +1000)
commitdd475309324ea8c83caf736214087d862db451fe
treefe49ac12d4ba927780bcb6d2a8a2fcb690ff8a00tree | snapshot
parent8691b83def628b5c24d26ccd586dc06840f71d55commit | diff
gitlab CI: add curl to the debian image

The coverity job on debian needs curl.

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