.gitlab-ci.yml

################################################################################
###                                                                          ###
### Created by Martin Genet                                                  ###
###                                                                          ###
### École Polytechnique, Palaiseau, France                                   ###
###                                                                          ###
################################################################################

stages:
  - build
  - deploy

build_docker:
  stage: build
  tags:
    - ci.inria.fr
    - large
  image: ubuntu:20.04
  script:
    - apt update; apt install -y python3 python3-pip mercurial git ca-certificates curl gnupg lsb-release
    - curl -fsSL https://download.docker.com/linux/ubuntu/gpg | gpg --dearmor -o /usr/share/keyrings/docker-archive-keyring.gpg
    - echo "deb [arch=$(dpkg --print-architecture) signed-by=/usr/share/keyrings/docker-archive-keyring.gpg] https://download.docker.com/linux/ubuntu $(lsb_release -cs) stable" | tee /etc/apt/sources.list.d/docker.list > /dev/null
    - DEBIAN_FRONTEND=noninteractive apt install -y tzdata
    - apt update; apt install -y docker-ce docker-ce-cli containerd.io
    - docker images
    - docker rmi -f $CI_REGISTRY_IMAGE || true
    - docker images --filter="reference=$CI_REGISTRY_IMAGE" --format="{{.Repository}}:{{.Tag}}" | xargs docker rmi || true
    - docker images
    - docker image prune -f
    - docker images
    - python3 -m pip install jupyter-repo2docker
    - repo2docker --no-run --user-id 1000 --user-name jovyan --image-name $CI_REGISTRY_IMAGE .repo2docker
    - docker images
    - docker image tag $CI_REGISTRY_IMAGE $CI_REGISTRY_IMAGE:$CI_COMMIT_SHORT_SHA
    - docker images
    - docker login -u $CI_REGISTRY_USER -p $CI_REGISTRY_PASSWORD $CI_REGISTRY
    - docker push $CI_REGISTRY_IMAGE
    - docker push $CI_REGISTRY_IMAGE:$CI_COMMIT_SHORT_SHA
    - docker logout $CI_REGISTRY

build_jupyterbook:
  stage: build
  image: python:slim
  tags:
    - ci.inria.fr
  script:
    - pip install -U jupyter-book
    - jupyter-book clean .
    - jupyter-book build .
  artifacts:
    paths:
      - _build/

pages: # MG202306003: Apparently this has to be named pages…
  stage: deploy
  image: busybox:latest
  tags:
    - ci.inria.fr
  script:
    - mv _build/html public
  artifacts:
    paths:
      - public
  rules:
    - if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH