From fa8a06ca8f53fb2f038ddcf1a4bdb87cea1e5a05 Mon Sep 17 00:00:00 2001 From: "Barry vd. Heuvel" Date: Sun, 8 Dec 2024 07:32:54 +0100 Subject: [PATCH] Delete .github/workflows/build-docs.yml --- .github/workflows/build-docs.yml | 29 ----------------------------- 1 file changed, 29 deletions(-) delete mode 100644 .github/workflows/build-docs.yml diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml deleted file mode 100644 index 0047b0c4..00000000 --- a/.github/workflows/build-docs.yml +++ /dev/null @@ -1,29 +0,0 @@ -name: Build docs -on: - workflow_dispatch: - push: - branches: - - docs -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