Skip to content

Merge pull request #66 from MontiCore/improve-mill-javadoc #777

Merge pull request #66 from MontiCore/improve-mill-javadoc

Merge pull request #66 from MontiCore/improve-mill-javadoc #777

Workflow file for this run

# (c) https://github.com/MontiCore/monticore
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