From 1e34ac345933b62d8d3649442789682d6bf42a0a Mon Sep 17 00:00:00 2001 From: cruizba Date: Tue, 25 Jun 2024 17:18:44 +0200 Subject: [PATCH] Revert "Add publish web workspace" This reverts commit 47da064cb093313413283501c3436328ad02b66d. --- .github/publish-web.yaml | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100644 .github/publish-web.yaml diff --git a/.github/publish-web.yaml b/.github/publish-web.yaml deleted file mode 100644 index f7ac45e6..00000000 --- a/.github/publish-web.yaml +++ /dev/null @@ -1,26 +0,0 @@ -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