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