From cccc35681612de1b47c8c42313f7621aa5c8f13e Mon Sep 17 00:00:00 2001
From: Alexander Gutenkunst <alex.gutenkunst+github@gmail.com>
Date: Mon, 15 Nov 2021 19:36:58 +0100
Subject: [PATCH] Add missing ici_apt_install for travis coveralls.io

---
 industrial_ci/src/ci_main.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/industrial_ci/src/ci_main.sh b/industrial_ci/src/ci_main.sh
index 6db6c214d..ea79a5a78 100644
--- a/industrial_ci/src/ci_main.sh
+++ b/industrial_ci/src/ci_main.sh
@@ -77,6 +77,11 @@ name=${name%.*}
 ici_isolate "$TEST" "run_${name}" || ici_exit
 
 if [ "$CODE_COVERAGE" ]; then
+
+  # Needed for ici_apt_install in travis with coveralls.io
+  # shellcheck source=industrial_ci/src/workspace.sh
+  source "${ICI_SRC_PATH}/workspace.sh"
+
   ici_step "upload_coverage_report" upload_coverage_report
 fi