From f1a93065e81e2c972520be7a1ed6093cc9e15e21 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cl=C3=A9ment=20H=2E=20Benedetti?= Date: Sun, 30 Jun 2024 17:39:18 +0200 Subject: [PATCH] Create make-doc.yml --- .github/workflows/make-doc.yml | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 .github/workflows/make-doc.yml diff --git a/.github/workflows/make-doc.yml b/.github/workflows/make-doc.yml new file mode 100644 index 0000000..db769a8 --- /dev/null +++ b/.github/workflows/make-doc.yml @@ -0,0 +1,34 @@ +name: Docs +on: + push: + branches: + - main + tags: + - "v*" # Push events to matching v*, i.e. v1.0, v20.15.10 + pull_request: + branches: + - main + workflow_dispatch: +permissions: + contents: write +jobs: + docs: + runs-on: ubuntu-latest + steps: + - name: Checkout + uses: actions/checkout@v3 + - name: Install dependencies + run: sudo apt-get install -y doxygen + - name: Doxygen build + run: | + cd ./docs + doxygen Doxyfile + cd .. + - name: Deploy + uses: peaceiris/actions-gh-pages@v3 + if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }} + with: + publish_branch: gh-pages + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: docs/html + force_orphan: true