webpage.yaml

name: Basic personal page generation

on:
  push:
    branches:
      - main

permissions:
  contents: read
  pages: write
  id-token: write

jobs:

  build:

    runs-on: ubuntu-latest

    env:
      fail-fast: true

    steps:

      - name: Checkout code
        uses: actions/checkout@v4
        with:
          fetch-depth: 1

      - name: Build main homepage
        uses: docker://pandoc/core:3.2
        with:
          args: >-
            --standalone
            --from commonmark_x+alerts
            --output=website/index.html
            --template=pandoc/template.html4
            --css=style.css
            --toc
            --toc-depth=1
            --resource-path=.
            --lua-filter=pandoc/paper.lua
            src/index.md

      - name: Setup Pages
        if: github.ref_name == github.event.repository.default_branch
        uses: actions/configure-pages@v3
      - name: Upload artifact
        if: github.ref_name == github.event.repository.default_branch
        uses: actions/upload-pages-artifact@v1
        with:
          path: 'website'
      - name: Deploy to GitHub Pages
        if: github.ref_name == github.event.repository.default_branch
        id: deployment
        uses: actions/deploy-pages@v1