From 17c751f9d79ce421db481665ce8249aaf79a457a Mon Sep 17 00:00:00 2001 From: Xavier Raynaud Date: Mon, 15 Jan 2024 17:11:19 +0100 Subject: [PATCH] more in doc --- .github/workflows/doc.yml | 14 ++------------ 1 file changed, 2 insertions(+), 12 deletions(-) diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index b7edb8a..699ef89 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -31,21 +31,11 @@ jobs: - name: Render documentation from ttl run: python docs/scripts/ttl_to_html.py - - name: Render documentation from md - run: python docs/scripts/md_to_html.py - - - name: Commit updated documentation - run: | - cd ${GITHUB_WORKSPACE} - git config --global user.email "${GIT_USER_EMAIL}" - git config --global user.name "${GIT_USER_NAME}" - git config pull.rebase false - git add . - git commit -m "Automatic update of github pages" - git push origin master sphinx-build: + needs: updatepages + runs-on: ubuntu-latest permissions: