From 200e7e0760350c93ebc1c1e86b47316df9d53901 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sun, 12 Sep 2021 21:39:15 +0200
Subject: [PATCH] CI wrench: spaces, no TAB

---
 .github/workflows/ci-wrench.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/ci-wrench.yml b/.github/workflows/ci-wrench.yml
index 20bb594bbc..5baaaef6bc 100644
--- a/.github/workflows/ci-wrench.yml
+++ b/.github/workflows/ci-wrench.yml
@@ -24,9 +24,9 @@ jobs:
           apt -y install wget
           apt -y install git
           apt -y install libboost-all-dev
-	  apt -y install libpugixml-dev
-	  apt -y install nlohmann-json3-dev
-	  apt -y install googletest
+          apt -y install libpugixml-dev
+          apt -y install nlohmann-json3-dev
+          apt -y install googletest
       - name: Build and test WRENCH
         run: |
           set -e
-- 
2.20.1