Skip to content

Added symlink from latest to index.html #11

Added symlink from latest to index.html

Added symlink from latest to index.html #11

name: Update GitHub Pages
on:
push:
branches:
- master # Replace with the branch name you want to trigger the workflow on
env:
GIT_USER_NAME: BattINFO Developers
GIT_USER_EMAIL: "[email protected]"
jobs:
updatepages:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v2
- name: Set up Python
uses: actions/setup-python@v4 #Uses python install action from here: https://github.com/marketplace?type=actions
with:
python-version: '3.10' # Replace with the desired Python version
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install Markdown==3.4.3 rdflib==6.3.2 # Add any other dependencies if needed
- name: Render documentation from ttl
run: python docs/scripts/ttl_to_html.py
- name: Render documentation from md
run: python docs/scripts/md_to_html.py
- name: Commit updated documentation
run: |
cd ${GITHUB_WORKSPACE}
git config --global user.email "${GIT_USER_EMAIL}"
git config --global user.name "${GIT_USER_NAME}"
git config pull.rebase false
git add .
git commit -m "Automatic update of github pages"
git push origin master