From c93dd8eec86bc4d4c359dcad88455b77783b287e Mon Sep 17 00:00:00 2001
From: Bentriou Mahmoud <mahmoud.bentriou@centralesupelec.fr>
Date: Fri, 21 May 2021 11:26:17 +0200
Subject: [PATCH] Update .gitlab-ci.yml
---
.gitlab-ci.yml | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 73fe445..6543ea0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,8 +1,6 @@
-default:
- image: julia:1.5.3
-
build-doc:
stage: build
+ image: julia:1.6
script:
- "julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'"
- "julia --project=docs/ docs/make.jl"
--
GitLab