deploy-docs.yml

name: Deploy documentation ⚙️

on:
  push:
    branches:
      - main
    paths:
      - 'documentation/**'
      - 'exercise-materials/**'

defaults:
  run:
    working-directory: documentation

jobs:
  build:
    name: Build and Deploy Documentation
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v2
      - uses: actions/setup-python@v2
        with:
          python-version: '3.x'
      - name: Install requirements 📦
        run: |
          python -m pip install --upgrade pip
          pip install -r requirements.txt
      - name: Deploy 📦
        run: mkdocs gh-deploy --strict --force --message 'update website via GitHub Actions'
      - name: add exercises zipfile 📦
        run: |
          cd ..
          zip -r exercise-materials.zip exercise-materials/
          zip -r student-vm-setup.zip environment/student-vm/
          ls -lh
          git push --set-upstream origin gh-pages
          git config --global user.email "tomkralidis@gmail.com"
          git config --global user.name "Tom Kralidis"
          git checkout gh-pages
          git add exercise-materials.zip
          git add student-vm-setup.zip
          git commit -m "add exercise-materials zipfile" -a
          git push