add CI workflow and scripts to rebuild search index

2022-09-01 17:51:37 -06:00
parent 7cea7b49aa
commit a3024326a3
4 changed files with 57 additions and 1 deletions
--- a/.github/workflows/deploy-docs.yml
+++ b/.github/workflows/deploy-docs.yml
@@ -4,8 +4,8 @@ on:
 permissions: read-all
 jobs:
  build:
-    runs-on: ubuntu-latest
    #if: github.repository_owner == 'spring-projects'
+    runs-on: ubuntu-latest
    steps:
    - name: Checkout
      uses: actions/checkout@v2