Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit ba220630 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain
Browse files

merge

parent c0d31633
......@@ -39,8 +39,8 @@ pages:
- linux
script:
- make doc/index.html web/biocham.zip
- curl --fail "$CI_PAGES_URL/content.zip" -o content.zip || true
- if [ -r content.zip ]; then unzip content.zip; rm content.zip; fi
- curl --fail "$CI_PAGES_URL/content.zip" -o content.zip
- if [ -r content.zip ]; then unzip content.zip; rm -f content.zip public/*.zip ; fi
- mkdir -p public
- cp -r doc devdoc web/*.{html,png,zip} public
- if [[ -n "$CI_COMMIT_TAG" ]] ; then cp public/biocham.zip public/biocham_$CI_COMMIT_TAG.zip ; mv public/doc public/doc_$CI_COMMIT_TAG ; ln -s doc_$CI_COMMIT_TAG public/doc ; fi
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment