From 8be86ee611174ce5f451d7f479112840169a338c Mon Sep 17 00:00:00 2001 From: Antonio SJ Musumeci Date: Sun, 19 Apr 2026 23:47:07 -0500 Subject: [PATCH] Remove mkdocs build github workflow --- .github/workflows/mkdocs.yml | 40 ------------------------------------ 1 file changed, 40 deletions(-) delete mode 100644 .github/workflows/mkdocs.yml diff --git a/.github/workflows/mkdocs.yml b/.github/workflows/mkdocs.yml deleted file mode 100644 index bfedb9d1..00000000 --- a/.github/workflows/mkdocs.yml +++ /dev/null @@ -1,40 +0,0 @@ -name: "mkdocs" -on: - push: - branches: - - master - tags: - - '*' - -permissions: - contents: write - -jobs: - deploy: - runs-on: ubuntu-latest - steps: - - name: Checkout repo - uses: actions/checkout@v4 - - - name: Setup Python - uses: actions/setup-python@v5 - with: - python-version: '3.x' - - - name: Configure Git Credentials - run: | - git config user.name "github-actions[bot]" - git config user.email "41898282+github-actions[bot]@users.noreply.github.com" - - - name: Install dependencies - working-directory: ./mkdocs - run: | - ./build-venv - - - name: Deploy docs - working-directory: ./mkdocs - env: - REF_TYPE: ${{ github.ref_type }} - REF_NAME: ${{ github.ref_name }} - run: | - ./generate-and-push-docs