Delete generate_documentation.yml

2024-09-16 20:25:45 -04:00
parent ccef374e07
commit 2995895334
1 changed files with 0 additions and 31 deletions
@@ -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