From 1456f03b6175f311f0e3bd3408f1cb88a560a818 Mon Sep 17 00:00:00 2001 From: Rob Winch Date: Wed, 29 May 2024 14:11:20 -0500 Subject: [PATCH] Remove rebuild-search-index.yml This is no longer needed because a hosted crawler is used --- .github/workflows/rebuild-search-index.yml | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100644 .github/workflows/rebuild-search-index.yml diff --git a/.github/workflows/rebuild-search-index.yml b/.github/workflows/rebuild-search-index.yml deleted file mode 100644 index e0514c8..0000000 --- a/.github/workflows/rebuild-search-index.yml +++ /dev/null @@ -1,20 +0,0 @@ -name: Rebuild Search Index -on: - workflow_dispatch: -permissions: - actions: write -jobs: - build: - if: github.repository_owner == 'spring-projects' - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v3 - with: - ref: docs-build - fetch-depth: 1 - - name: Dispatch - env: - GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} - run: gh workflow run rebuild-search-index.yml -r $(git rev-parse --abbrev-ref HEAD) -