diff --git a/.github/workflows/build_master.yml b/.github/workflows/build_master.yml index e8d21258b..d299e03c6 100644 --- a/.github/workflows/build_master.yml +++ b/.github/workflows/build_master.yml @@ -35,6 +35,15 @@ jobs: - name: Build mdBook run: MDBOOK_BOOK__LANGUAGE=en mdbook build || (echo "Error logs" && cat hacktricks-preprocessor-error.log && echo "" && echo "" && echo "Debug logs" && (cat hacktricks-preprocessor.log | tail -n 20) && exit 1) + - name: Update searchindex.js in repo + run: | + git pull + cp book/searchindex.js searchindex.js + cp book/searchindex.json searchindex.json + git add searchindex.js searchindex.json + git commit -m "Update searchindex" + git push + # Login in AWs - name: Configure AWS credentials using OIDC uses: aws-actions/configure-aws-credentials@v3