From 391ae578c047523fcd7ca4f56dcd75b20b3f9e3d Mon Sep 17 00:00:00 2001 From: Davide Bettio Date: Mon, 14 Oct 2024 23:20:32 +0200 Subject: [PATCH] CI: publish-docs: workaround issue Switching to containers changed how paths are handled, making it difficult to debug. There is some kind of magic here, caution when changing this. Signed-off-by: Davide Bettio --- .github/workflows/publish-docs.yaml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/publish-docs.yaml b/.github/workflows/publish-docs.yaml index 54ed524f5..93cd1f8d2 100644 --- a/.github/workflows/publish-docs.yaml +++ b/.github/workflows/publish-docs.yaml @@ -115,7 +115,8 @@ jobs: cmake .. cd doc make GitHub_CI_Publish_Docs - + rm -frv "/__w/AtomVM/AtomVM/www/doc/${{ github.ref_name }}" + cp -av html "/__w/AtomVM/AtomVM/www/doc/${{ github.ref_name }}" - name: Commit files id: commit_files if: github.repository == 'atomvm/AtomVM' @@ -124,6 +125,8 @@ jobs: git config --local user.email "atomvm-doc-bot@users.noreply.github.com" git config --local user.name "AtomVM Doc Bot" ls -la doc/ + git status "doc/${{ github.ref_name }}" + git add "doc/${{ github.ref_name }}" git add . git diff --exit-code Production || echo "Going to commit" git diff --exit-code Production || git commit -m "Update Documentation"