diff --git a/.github/workflows/generate_documentation.yml b/.github/workflows/generate_documentation.yml deleted file mode 100644 index b1bf902c69..0000000000 --- a/.github/workflows/generate_documentation.yml +++ /dev/null @@ -1,31 +0,0 @@ -name: Generate documentation -on: - push: - branches: - - master -jobs: - generate_documentation: - if: "!contains(github.event.head_commit.message, '[ci skip]')" - runs-on: ubuntu-20.04 - steps: - - uses: actions/checkout@v4 - - name: Setup cache - uses: actions/cache@v4 - with: - path: ~/SpacemanDMM - key: ${{ runner.os }}-spacemandmm-${{ secrets.CACHE_PURGE_KEY }} - - name: Install SpacemanDMM - run: bash tools/ci/install_spaceman_dmm.sh dmdoc - - name: Generate documentation - run: | - ~/dmdoc - touch dmdoc/.nojekyll - echo codedocs.citadel-station.net > dmdoc/CNAME - - name: Deploy - uses: JamesIves/github-pages-deploy-action@3.7.1 - with: - BRANCH: gh-pages - CLEAN: true - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - SINGLE_COMMIT: true - FOLDER: dmdoc