deploy.yml

name: Build and Deploy

on:
  push:
    branches: [ main, master ]

jobs:
  build-and-deploy:
    runs-on: ubuntu-latest
    permissions:
      # Allow the default GITHUB_TOKEN to push the built site to gh-pages
      contents: write
    steps:
      - name: Checkout 🛎️
        uses: actions/checkout@v2.3.1 # If you're using actions/checkout@v2 you must set persist-credentials to false in most cases for the deployment to work correctly.
        with:
          persist-credentials: false

      - name: Build document 🔧
        run: make server
      - uses: docker://pandoc/core:2.9
        with:
            args: "-o dst/index.html --template src/template/index.html -H src/header.html -V lang=en -s --table-of-contents --bibliography=src/references.bib --columns 1000 dst/index.md"

      - name: Deploy 🚀
        uses: JamesIves/github-pages-deploy-action@3.6.2
        with:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
          BRANCH: gh-pages # The branch the action should deploy to.
          FOLDER: dst # The folder the action should deploy.
          CLEAN: true # Automatically remove deleted files from the deploy branch