From 0fb6d023f0ebb7e05089b9073e057fcc3b960160 Mon Sep 17 00:00:00 2001
From: Mahmoud Bentriou <mahmoud.bentriou@centralesupelec.fr>
Date: Fri, 13 May 2022 00:43:17 +0200
Subject: [PATCH] Update CI
---
.gitlab-ci.yml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d1995c5..9a03172 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,7 +1,8 @@
build-doc:
- image: julia:latest
+ 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