From 79dc2d43e62807507b90a153b443a617a9fc69df Mon Sep 17 00:00:00 2001 From: Slendi Date: Thu, 12 Mar 2026 02:44:52 +0200 Subject: [PATCH] ci: Try another approach to docs workflow I hate CI. Signed-off-by: Slendi --- .github/workflows/docs.yml | 52 ++++++++++++++++++++++++++++++-------- 1 file changed, 41 insertions(+), 11 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 0843534..6684b40 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,20 +1,50 @@ -name: Doxygen GitHub Pages Deploy Action +name: Deploy Doxygen docs on: push: - branches: - - master + branches: [master] + +permissions: + contents: read + pages: write + id-token: write + +concurrency: + group: "pages" + cancel-in-progress: true jobs: - deploy: + build: runs-on: ubuntu-latest - permissions: - contents: write + steps: - - name: Create docs directory + - uses: actions/checkout@v4 + + - name: Install Doxygen + run: sudo apt-get update && sudo apt-get install -y doxygen graphviz + + - name: Create output directory run: mkdir -p build/docs - - uses: DenverCoder1/doxygen-github-pages-action@v2.0.0 + + - name: Generate docs + run: doxygen docs/Doxyfile + + - name: Disable Jekyll + run: touch build/docs/html/.nojekyll + + - name: Upload Pages artifact + uses: actions/upload-pages-artifact@v3 with: - github_token: ${{ secrets.GITHUB_TOKEN }} - folder: build/docs/html - config_file: docs/Doxyfile + path: build/docs/html + + deploy: + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} + runs-on: ubuntu-latest + needs: build + + steps: + - name: Deploy to GitHub Pages + id: deployment + uses: actions/deploy-pages@v4