Skip to content

Merge pull request #1618 from chathuranga95/dev #27

Merge pull request #1618 from chathuranga95/dev

Merge pull request #1618 from chathuranga95/dev #27

Workflow file for this run

name: ci
on:
push:
branches:
- dev
permissions:
contents: write
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Configure Git Credentials
run: |
git config --global user.email "[email protected]"
git config --global user.name "Choreo CI Agent"
- uses: actions/setup-python@v5
with:
python-version: 3.x
- run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV
- uses: actions/cache@v4
with:
key: mkdocs-material-${{ env.cache_id }}
path: .cache
restore-keys: |
mkdocs-material-
- run: |
echo "Installing Python dependencies"
pip install --upgrade pip # Ensure pip is up-to-date
pip install zipp==3.0.0
pip install pathlib2==2.3.5
pip install -U --upgrade mkdocs==1.4.2
pip install Pygments==2.14.0
pip install pymdown-extensions==9.10
pip install mkdocs-minify-plugin==0.6.2
pip install mkdocs-markdownextradata-plugin==0.2.5
pip install mkdocs-redirects==1.2.0
pip install pathlib==1.0.1
pip install -U mkdocs-material==9.1.2
pip install markdown-include==0.8.1
pip install markdown==3.2.1
pip install mkdocs-exclude==1.0.2
pip install -U Jinja2==3.1.0
pip install mkdocs-glightbox==0.3.4
pip install mkdocs-include-markdown-plugin==1.0.0
pip install mkdocs-open-in-new-tab==1.0.3
- run: mkdocs gh-deploy --config-file en/mkdocs.yml --force
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}