pip install docker

CGAL · Jul 19, 2023 · 991af10 · 991af10
1 parent 57fd084
commit 991af10
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/test.sh b/test.sh
@@ -10,6 +10,10 @@ if command -v selinuxenabled >/dev/null && selinuxenabled; then
   chcon -Rt container_file_t cgal
 fi
 
+if command -v python3 >/dev/null; then
+  python3 -m pip install docker
+fi
+
 if [ -n "$GITHUB_SHA" ]; then
   COMMIT_URL=https://github.com/${GITHUB_REPOSITORY}/blob/${GITHUB_SHA}
 fi