Skip to content

Add name and event logging to compute #112

Add name and event logging to compute

Add name and event logging to compute #112

Workflow file for this run

# .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:
- develop
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: Build pages
run: mkdocs build --verbose --clean
- name: Deploy pages
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 github pages"