From 6c64922fd9e5434eb3db92ea9764f2abbc108d6d Mon Sep 17 00:00:00 2001
From: Lars Beckers <lars.beckers@rwth-aachen.de>
Date: Wed, 11 Sep 2019 16:55:51 +0200
Subject: [PATCH] fix gitlab CI config: install ripgrep

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ec563b6..2a81182 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -8,7 +8,7 @@ variables:
 before_script:
   - export LANG=en_US.UTF-8
   - chmod o-w .
-  - apt-get -qq update && apt-get -qq install -y ansible-lint
+  - apt-get -qq update && apt-get -qq install -y ansible-lint ripgrep
   - ansible --version
   - ansible-lint --version
   - yamllint --version
-- 
GitLab