Skip to content

Bump markdown from 3.4.3 to 3.7 #147

Bump markdown from 3.4.3 to 3.7

Bump markdown from 3.4.3 to 3.7 #147

Workflow file for this run

name: "docs"
on:
push:
branches:
- 'master'
pull_request:
branches:
- '*' # To ensure it runs on all PRs
env:
GIT_USER_NAME: BattINFO Developers
GIT_USER_EMAIL: "[email protected]"
jobs:
updatepages:
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: '3.10'
- name: Install dependencies
run: |
pip install --upgrade pip
pip install -r docs/requirements.txt
- name: Render documentation from ttl
run: python docs/scripts/ttl_to_rst.py
- name: Create context directory
run: sudo mkdir -p context
- name: Create context file from ttl
run: python docs/scripts/ttl_to_context.py
- name: Build HTML
uses: ammaraskar/sphinx-action@master
with:
docs-folder: "docs/"
pre-build-command: "apt-get update -y; apt-get install -y pandoc"
- name: Check if HTML context directory exists
run: |
if [ ! -d "docs/_build/html/context/" ]; then
sudo mkdir -p docs/_build/html/context/
fi
if [ ! -d "docs/_build/html/assets/" ]; then
sudo mkdir -p docs/_build/html/assets/
fi
if [ ! -d "docs/_build/html/versions/" ]; then
sudo mkdir -p docs/_build/html/versions/
fi
- name: Copy assets directory to HTML directory
run: sudo cp -r docs/assets/* docs/_build/html/assets/
- name: Copy context file to HTML directory
run: sudo cp context/context.json docs/_build/html/context/
- name: Commit changes
run: |
git config --local user.email "${{ env.GIT_USER_EMAIL }}"
git config --local user.name "${{ env.GIT_USER_NAME }}"
git add context/context.json
git diff --staged --quiet || git commit -m "Update context.json file"
- name: Pull latest changes
if: github.event_name == 'push' # Only pull changes during push events
run: git pull origin master --rebase
- name: Push changes
if: github.event_name == 'push' && github.ref == 'refs/heads/master' # Only push during push events on master
run: git push origin HEAD:master
- name: Fetch all tags and create version directories
run: |
git fetch --tags
git tag | while read TAG; do
sudo mkdir -p "docs/_build/html/versions/$TAG"
python docs/scripts/apply_foops_recommendations.py battinfo.ttl battinfo-foops.ttl
sudo cp "battinfo-foops.ttl" "docs/_build/html/versions/$TAG/battinfo.ttl"
sudo cp "battinfo-inferred.ttl" "docs/_build/html/versions/$TAG/"
if [ -d "context" ]; then
sudo mkdir -p "docs/_build/html/versions/$TAG/context"
sudo cp "context/context.json" "docs/_build/html/versions/$TAG/context"
fi
done
- name: Copy TTL files to HTML directory
run: |
python docs/scripts/apply_foops_recommendations.py battinfo.ttl battinfo-foops.ttl
sudo cp "battinfo-foops.ttl" "docs/_build/html/battinfo.ttl"
sudo cp "battinfo-inferred.ttl" "docs/_build/html/battinfo-inferred.ttl"
- name: Upload artifacts
uses: actions/upload-artifact@v4
with:
name: documentationHTML
path: docs/_build/html/
- name: Deploy
if: github.ref == 'refs/heads/master' && github.event_name == 'push' # Only deploy during push events on master
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: docs/_build/html