check:
  # Chosen more or less arbitrarily.
  image: hrektts/mdbook
  script:
    - apt-get update && apt-get install -y python3 git
    - ./proposals/check_index
    - ./build_html.sh

# TODO:
# There is way too much duplication here with "check".
#
# We should remove this once we are uploading to spec.tpo.
#
pages:
  image: hrektts/mdbook
  script:
    - apt-get update && apt-get install -y python3
    - ./build_html.sh
    - mv html public
  artifacts:
    paths:
      - public
  only:
    - main