Updating the CI

2026-05-23 14:58:36 +00:00 · 2020-02-13 19:26:45 +01:00
parent 9644890e91
commit 0bf5e08ce7
1 changed files with 2 additions and 1 deletions
@@ -12,12 +12,13 @@ jobs:
    steps:
      - uses: actions/checkout@v1
      - name: Install Doxygen
-        run: sudo apt-get install --yes doxygen
+        run: sudo apt-get install --yes doxygen graphviz
      - name: Update the docs
        run: |
          git clone -b gh-pages https://${GITHUB_REPO} docs
          rm -rf docs/*
          doxygen Doxyfile
+          cd docs
          git config --global user.email "${GITHUB_ACTOR}@github.com";
          git config --global user.name "${GITHUB_ACTOR}";
          git add -A;