From e7dad09274526fe8b647fdcb6ecc11fbaaa3dc28 Mon Sep 17 00:00:00 2001
From: Mahmoud Bentriou <mahmoud.bentriou@centralesupelec.fr>
Date: Fri, 13 May 2022 00:21:06 +0200
Subject: [PATCH] Squash of CI updates

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a62ed96..9a03172 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,6 +1,8 @@
 build-doc:
-    image: gitlab-research.centralesupelec.fr:4567/2017bentrioum/markovprocesses.jl/julia
-    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: 2017bentrioum/markovprocesses.jl/julia:latest
+  stage: build
+  script:
+    - "docker image ls" 
+    - "julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd(), subdir=\"core/\")); Pkg.instantiate()'"
+    - "julia --project=docs/ docs/make.jl"
+
-- 
GitLab