deploy_docs.yml

name: Deploy documentation

on:
  workflow_dispatch:
  push:
    branches:
      - master

jobs:
  deploy:
    runs-on: ubuntu-latest
    steps:
      - name: Checkout 🛎️
        uses: actions/checkout@v2
        with:
          persist-credentials: false

      - name: Pull docker image 🐳
        run: docker pull cmsml/documentation

      - name: Build 🔧
        run: ./docker/run.sh build

      - name: Deploy 🚀
        env:
          PAGES_BRANCH: gh-pages
          SITE_DIR: site
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
        run: |
          git clone -b $PAGES_BRANCH https://$GITHUB_ACTOR:$GITHUB_TOKEN@github.com/$GITHUB_REPOSITORY.git gh-pages-deployment-folder
          rsync -q -av --checksum --progress $SITE_DIR/. gh-pages-deployment-folder --exclude .ssh --exclude .git --exclude .github --exclude '*.gz'

          cd gh-pages-deployment-folder
          git config user.name $GITHUB_ACTOR
          git config user.email $GITHUB_ACTOR@users.noreply.github.com

          git status --porcelain
          git add --all .
          git commit -m "Deploying from @ $GITHUB_SHA 🚀"

          git lfs migrate export --include="*"

          git push -f