[COLIBRI] colibri is the default branch for colibri website

.gitlab-ci.yml

@@ -34,12 +34,13 @@ test:
   stage: test
   script:
   - bundle exec jekyll build -d test --future
+  - ./download_doc.sh test
   artifacts:
     paths:
     - test
     expire_in: 1 month
   except:
-  - master
+  - colibri
   tags:
   - docker
 
@@ -54,7 +55,7 @@ check-css:
   - if [ $(grep "PurifyCSS" del-classes.o | wc -l) = 0 ]; then echo "No CSS to clean"; else cat del-classes.o; exit 1; fi;
   allow_failure: true
   except:
-  - master
+  - colibri
   tags:
   - docker
 
@@ -62,15 +63,12 @@ pages:
   stage: deploy
   script:
   - JEKYLL_ENV="production" bundle exec jekyll build -d public --future
-  - wget -O farith2_doc.tar.gz "https://git.frama-c.com/pub/colibrics/-/jobs/artifacts/master/raw/farith2_doc.tar.gz?job=generate-static:%20[4.12.0]"
-  - mkdir -p public/html/doc/
-  - tar -C public/html/doc/ -xf farith2_doc.tar.gz
-  - mv public/html/doc/farith2 public/html/doc/farith
+  - ./download_doc.sh public
   artifacts:
     paths:
     - public
     expire_in: 1 month
   only:
-  - master
+  - colibri
   tags:
   - docker

download_doc.sh

+#!/bin/sh -eux
+
+ROOT=$1
+
+wget -O farith2_doc.tar.gz "https://git.frama-c.com/pub/colibrics/-/jobs/artifacts/master/raw/farith2_doc.tar.gz?job=generate-static:%20[4.12.0]"
+
+mkdir -p $ROOT/html/doc/
+
+tar -C $ROOT/html/doc/ -xf farith2_doc.tar.gz
+
+mv $ROOT/html/doc/farith2 $ROOT/html/doc/farith