fix workflows

This commit is contained in:
Carlos Polop
2025-02-21 14:55:41 +01:00
parent 8fa715b08d
commit c6b3795cc5
17 changed files with 133 additions and 37 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