Skip to content

Add logo and favicon #13

Add logo and favicon

Add logo and favicon #13

Workflow file for this run

name: Deploy docs to GitHub pages
on:
# Runs on pushes targeting the default branch
push:
branches: ["master"]
paths: ["docs/**", "mkdocs.yml"]
# Sets permissions write in gh
permissions:
contents: write
# Allow one concurrent deployment
concurrency:
group: "pages"
cancel-in-progress: true
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Configure Git Credentials
run: |
git config user.name mkdocs-gh-deploy[bot]
git config user.email mkdocs-gh-deploy@developerinsider.co
- 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: pip install mkdocs-material
- run: pip install mkdocs-awesome-pages-plugin
- run: pip install mkdocs-minify-plugin
- run: mkdocs gh-deploy --force