This commit is contained in:
Carlos Polop
2025-02-22 00:32:09 +01:00
parent c6b3795cc5
commit def87f1ffb
4 changed files with 65 additions and 24 deletions

View File

@@ -68,13 +68,13 @@ jobs:
- name: Update searchindex.js in repo
run: |
git checkout $BRANCH
(git checkout $BRANCH
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 for $BRANCH"
git push
git push) || echo "No changes to searchindex.js"
# Login in AWs
- name: Configure AWS credentials using OIDC