From 47da064cb093313413283501c3436328ad02b66d Mon Sep 17 00:00:00 2001 From: cruizba Date: Tue, 25 Jun 2024 17:14:36 +0200 Subject: [PATCH] Add publish web workspace --- .github/publish-web.yaml | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 .github/publish-web.yaml diff --git a/.github/publish-web.yaml b/.github/publish-web.yaml new file mode 100644 index 00000000..f7ac45e6 --- /dev/null +++ b/.github/publish-web.yaml @@ -0,0 +1,26 @@ +name: Publish Web +on: + workflow_dispatch: +permissions: + contents: write +jobs: + deploy: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - name: Configure Git Credentials + run: | + git config user.name github-actions[bot] + git config user.email 41898282+github-actions[bot]@users.noreply.github.com + - 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