workflows: Improve documentation workflow (#104)

parcio · Jul 13, 2021 · f786d3e · f786d3e
1 parent f4f569c
commit f786d3e
Showing 1 changed file with 20 additions and 1 deletion.
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -9,14 +9,33 @@ jobs:
     runs-on: ubuntu-20.04
     timeout-minutes: 30
     steps:
-      - name: Checkout
+      - name: Checkout master
         uses: actions/checkout@v2
         with:
           persist-credentials: false
+          path: master
+      - name: Checkout gh-pages
+        uses: actions/checkout@v2
+        with:
+          ref: gh-pages
+          path: pages
       - name: Install dependencies
         run: |
           sudo apt update || true
           sudo apt --yes --no-install-recommends install doxygen
       - name: Generate documentation
         run: |
+          cd master
           doxygen
+      - name: Copy documentation
+        run: |
+          rsync --archive --human-readable --verbose --delete master/html/. pages
+          touch pages/.nojekyll
+      - name: Commit documentation
+        run: |
+          cd pages
+          git config user.name 'github-actions[bot]'
+          git config user.email 'github-actions[bot]@users.noreply.github.com'
+          git add --all .
+          git commit --amend --reset-author --message='Doxygen ${{ github.sha }}'
+          git push