.gitpod.yml

image: gitpod/workspace-python-3.10

tasks:
  - init: |
      curl -fsSL https://cli.github.com/packages/githubcli-archive-keyring.gpg | sudo dd of=/usr/share/keyrings/githubcli-archive-keyring.gpg \
        && sudo chmod go+r /usr/share/keyrings/githubcli-archive-keyring.gpg \
        && echo "deb [arch=$(dpkg --print-architecture) signed-by=/usr/share/keyrings/githubcli-archive-keyring.gpg] https://cli.github.com/packages stable main" | sudo tee /etc/apt/sources.list.d/github-cli.list > /dev/null \
        && sudo apt update \
        && sudo apt install gh -y

      pip install -r requirements.txt
      (mkdir -p build/repos && cd build/repos && git clone https://github.com/leanprover-community/mathlib && git clone https://github.com/leanprover-community/mathlib4)
    command: |
      python make_html.py
      cd build/html && python -m http.server