From b64f0197acf45a3e26bc81d428e8b7d54335660d Mon Sep 17 00:00:00 2001 From: Wouter Deconinck Date: Wed, 28 Dec 2022 11:43:05 -0600 Subject: [PATCH] ci: remove redundant doxygen workflow The doxygen page that is actually published is in linux-eic-shell and integrates artifacts. --- .github/workflows/doxygen.yml | 51 ----------------------------------- 1 file changed, 51 deletions(-) delete mode 100644 .github/workflows/doxygen.yml diff --git a/.github/workflows/doxygen.yml b/.github/workflows/doxygen.yml deleted file mode 100644 index a2e24b83ce..0000000000 --- a/.github/workflows/doxygen.yml +++ /dev/null @@ -1,51 +0,0 @@ -name: doxygen - -on: - push: - schedule: - - cron: '41 4 * * 0' - -jobs: - build-docs: - runs-on: ubuntu-latest - container: - image: alpine:latest - volumes: - - /home/runner/work/_temp:/home/runner/work/_temp - # FIXME hard-coded: see https://github.com/actions/upload-pages-artifact/pull/14 - steps: - - uses: actions/checkout@v3 - - run: | - apk add doxygen graphviz - doxygen Doxyfile - cp -r docs publishing_docs - mv html publishing_docs/doxygen - - uses: actions/upload-artifact@v3 - with: - name: docs - path: publishing_docs/ - if-no-files-found: error - - run: - - apk add tar bash - # FIXME bash not really required: see https://github.com/actions/upload-pages-artifact/pull/14 - - uses: actions/upload-pages-artifact@v1 - if: github.ref == 'refs/heads/main' - with: - path: publishing_docs/ - retention-days: 7 - - deploy-docs: - needs: build-docs - if: github.ref == 'refs/heads/main' - permissions: - pages: write - id-token: write - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - steps: - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v1