From 48840b6a0baba80e380a3a7192a25bfb8ebb96e1 Mon Sep 17 00:00:00 2001
From: Mahmoud Bentriou <mahmoud.bentriou@centralesupelec.fr>
Date: Fri, 21 May 2021 11:00:45 +0200
Subject: [PATCH] Rewrite of CI configuration file
---
.gitlab-ci.yml | 29 +++++------------------------
1 file changed, 5 insertions(+), 24 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d4a0c30..4154536 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,26 +1,7 @@
-name: Documentation
-
-on:
- push:
- branches:
- - master
- tags: '*'
- pull_request:
-
-jobs:
- build:
- runs-on: ubuntu-latest
- steps:
- - uses: actions/checkout@v2
- - uses: julia-actions/setup-julia@latest
- with:
- version: '1.5.3'
- - name: Install dependencies
- run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
- - name: Build and deploy
- env:
- GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
- DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
- run: julia --project=docs/ docs/make.jl
+build-doc:
+ stage: documentation
+ script:
+ - "julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'"
+ - "julia --project=docs/ docs/make.jl"
--
GitLab