diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 9a03172821c5c9545d6c01f0494d02bf6442dd30..a62ed962129a1ad0806b8fa88c5619fba9270c9b 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,8 +1,6 @@ build-doc: - 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" - + 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"