Skip to content

Merge pull request #21 from marcobarilari/marco_add-search-bar #10

Merge pull request #21 from marcobarilari/marco_add-search-bar

Merge pull request #21 from marcobarilari/marco_add-search-bar #10

Workflow file for this run

---
name: Publish docs via GitHub Pages
on:
push:
branches:
- main
jobs:
build:
name: Deploy docs
runs-on: ubuntu-latest
steps:
- name: Checkout main
uses: actions/checkout@v4
- name: Deploy docs
uses: mhausenblas/mkdocs-deploy-gh-pages@master
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
CONFIG_FILE: mkdocs.yml
EXTRA_PACKAGES: build-base
REQUIREMENTS: requirements.txt