---
pages:
  stage: publish
  allow_failure: true
  rules:
    - if: $DO_CI == 'false'
      when: never
    - if: $CI_COMMIT_BRANCH == 'synchronize'
      when: never
  variables:
    GIT_DEPTH: 1
  script:
    - set -eo pipefail
    - mv build/docs/ public/
  artifacts:
    paths:
      - public