1 files changed, 0 insertions, 58 deletions
diff --git a/sundry/spine_search_cgi/src/ext_depends_cgi/d2sqlite3/.github/workflows/documentation.yaml b/sundry/spine_search_cgi/src/ext_depends_cgi/d2sqlite3/.github/workflows/documentation.yaml
deleted file mode 100644
index 97fa25e..0000000
--- a/sundry/spine_search_cgi/src/ext_depends_cgi/d2sqlite3/.github/workflows/documentation.yaml
+++ /dev/null
@@ -1,58 +0,0 @@
-# Documentation build: Only runs on Linux
-# Still need to install dependencies and the compiler because DDOX
-# does a full build
-name: Documentation
-on: [push, pull_request]
-
-jobs:
-  doc:
-    name: Build and upload documentation
-    runs-on: ubuntu-latest
-    timeout-minutes: 30
-    steps:
-
-      # Checkout this repository and its submodules
-      - name: Checkout repository
-        uses: actions/checkout@v2
-
-      # Install the D compiler
-      - name: Prepare compiler
-        uses: dlang-community/setup-dlang@v1
-        with:
-          compiler: ldc-latest
-
-      - name: 'Install dependencies & setup environment'
-        run: |
-          sudo apt-get update
-          sudo apt-get install libsqlite3-dev
-
-      - name: Build documentation
-        run: |
-          dub build -b ddox
-          # Generate the HTML to docs
-          dub run ddox -- generate-html docs.json ./docs/
-
-      - name: Upload documentation artifact
-        uses: actions/upload-artifact@v2
-        with:
-          name: documentation
-          path: docs/
-
-      - name: Deploy documentation
-        if: github.event_name == 'push'
-        run: |
-          # Remove gh-branch if it already exists, check it out
-          git branch -D gh-pages || true
-          git checkout --orphan gh-pages
-          # Remove all staged files - We only need the docs
-          git rm -rf $(git ls-files)
-          # We can have some leftover files (e.g. build)
-          # So add docs (which is only what we need), then `git mv` it.
-          git add docs/
-          git mv -k docs/* ./
-          # Configure user (because persist-credentials does not persist everything...)
-          git config --global user.name  "${{ github.actor }}"
-          git config --global user.email "${{ github.actor }}@users.noreply.github.com"
-          # We're done
-          git commit -m "Documentation for commit ${{ github.sha }}"
-          git push -f ${{ github.event.repository.clone_url }} gh-pages:gh-pages