---
name: Deploy Docs
on:
  push:
    branches:
      - master
jobs:
  docs:
    runs-on: ubuntu-latest
    timeout-minutes: 5
    steps:
      - name: Checkout repository
        uses: actions/checkout@v2
      - name: Install SSH client
        run: |
          sudo apt-get update
          sudo apt-get install -y openssh-client
      - name: Setup SSH
        run: |
          mkdir -p ~/.ssh
          ssh-keyscan -H burkey.co >> ~/.ssh/known_hosts
          echo "${{ secrets.BURKEY_CO_KEY}}" >> ~/.ssh/id_rsa
          chmod -R 700 ~/.ssh
          eval "$(ssh-agent -s)"
          ssh-add ~/.ssh/id_rsa
      - name: Install mkdocs
        run: |
          pip install mkdocs 
      - name: Build documentation
        run: |
          mkdocs build
      - name: Deploy documentation
        run: |
          ssh debian@burkey.co "rm -rf /var/www/burkey.co/docs/libflint"
          ssh debian@burkey.co "mkdir -p /var/www/burkey.co/docs/libflint"
          ssh debian@burkey.co "chmod 755 /var/www/burkey.co/docs/libflint"
          scp -r ./site/* debian@burkey.co:/var/www/burkey.co/docs/libflint/