From 0f77aa23f57dcaed3312c01aa503b750d61d9210 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ghignatti=20Nicol=C3=B2?= <94747281+NickGhignatti@users.noreply.github.com> Date: Thu, 9 Oct 2025 18:07:22 +0200 Subject: [PATCH] Create mkdocs --- .github/workflows/mkdocs | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 .github/workflows/mkdocs diff --git a/.github/workflows/mkdocs b/.github/workflows/mkdocs new file mode 100644 index 0000000..7d4b47d --- /dev/null +++ b/.github/workflows/mkdocs @@ -0,0 +1,25 @@ +name: Documentation +on: + push: + branches: [ "docs" ] + +permissions: + contents: write + +jobs: + deploy: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - 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: mkdocs gh-deploy --force