From 0fe03251d6639071faf80cfa9af4ce1239f11a2b Mon Sep 17 00:00:00 2001
From: Mahmoud Bentriou <mahmoud.bentriou@centralesupelec.fr>
Date: Fri, 13 May 2022 00:31:13 +0200
Subject: [PATCH] Update CI

---
 .gitlab-ci.yml | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index cbf823c..d1995c5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,6 +1,7 @@
 build-doc:
-    image: julia:latest
-    stage: build
-    script:
-        - "julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd(), subdir=\"core/\")); Pkg.instantiate()'"
-        - "julia --project=docs/ docs/make.jl"
+  image: julia:latest
+  stage: build
+  script:
+    - "julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd(), subdir=\"core/\")); Pkg.instantiate()'"
+    - "julia --project=docs/ docs/make.jl"
+
-- 
GitLab