Merge pull request #140 from Gottox/chore/doxygen-to-subdirectory

.github: publish to doxygen subdirectory
Gottox · Sep 17, 2023 · 3132004 · 3132004
2 parents 2edced9 + 4cd7ef2
commit 3132004
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -198,3 +198,4 @@ jobs:
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
         publish_dir: /tmp/build/doc/html
+        destination_dir: doxygen