diff options
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/doxygen.yml | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/.github/workflows/doxygen.yml b/.github/workflows/doxygen.yml deleted file mode 100644 index e2dc8c1..0000000 --- a/.github/workflows/doxygen.yml +++ /dev/null @@ -1,41 +0,0 @@ -name: Deploy Doxygen to GitHub Pages - -on: - push: - branches: [$default-branch] - workflow_dispatch: - -permissions: - contents: read - pages: write - id-token: write - -concurrency: - group: "pages" - cancel-in-progress: false - -jobs: - build: - runs-on: ubuntu-latest - steps: - - name: Checkout repository - uses: actions/checkout@v4 - - name: Setup Doxygen - run: sudo apt-get install -y doxygen - - name: Generate Doxygen documentation - run: doxygen Doxyfile - - name: Upload Artifacts - uses: actions/upload-artifact@v3 - with: - path: html/ - - deploy: - needs: build - runs-on: ubuntu-latest - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - steps: - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v4
\ No newline at end of file |