diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 5c8b9652893e41a3f428c6bee2597401f5eeb1a7..c90bf2d4bc344f59b032bfa7656840de765035c7 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -38,8 +38,6 @@ before_script: - echo "$SSH_KNOWN_HOSTS" > ~/.ssh/known_hosts - chmod 644 ~/.ssh/known_hosts - - build_only: script: - cd slides @@ -47,6 +45,11 @@ build_only: - make deploy - rsync -avz algo_cours ur1bg_malas@ur1bg.ftp.infomaniak.com:web/malaspinas/ +build_examples: + script: + - cd source_codes + - make + build_artifacts: script: - cd slides