prepare_pages.yml

# .github/workflows/prepare_pages.yml
name: Prepare And Deploy Pages

# Preprocess the docs, build a site directory and push its contents to the gh-pages branch

on:
  push:
    branches:
      - dev

jobs:
  build:
    runs-on: ubuntu-latest
    env:
      GITLAB_TOKEN: ${{ secrets.GITLAB_TOKEN }}
    name: Build and Push
    steps:
      - name: Checkout repo
        uses: actions/checkout@v3

      - name: Setup Python
        uses: actions/setup-python@v4
        with:
          python-version: '3.9'

      - name: Install python packages
        run: |
          python -m pip install --upgrade pip
          pip install mkdocs mkdocs-material
          git clone https://monticore:$GITLAB_TOKEN@git.rwth-aachen.de/se/infrastructure/monticore-pygments-highlighting.git
          pip install -r ./monticore-pygments-highlighting/requirements.txt
          pip install ./monticore-pygments-highlighting

      - name: Preprocess the docs
        run: sh docs/scripts/preprocessing.sh

      - name: Build the docs into a site directory
        run: mkdocs build --verbose --clean --strict

      - name: Push
        uses: s0/git-publish-subdir-action@develop
        env:
          REPO: self
          BRANCH: gh-pages # The branch name where you want to push the assets
          FOLDER: site # The directory where your assets are generated
          SQUASH_HISTORY: true
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
          MESSAGE: "Deploy contents of GitHub pages to gh-pages branch" # The commit message