From 39c484d1a618b52ce156b448933600a110519be0 Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Fri, 21 Jun 2024 00:31:28 +0200
Subject: [PATCH] remove deploy-docs CI workflow

---
 .github/workflows/deploy-docs.yml | 59 -------------------------------
 1 file changed, 59 deletions(-)
 delete mode 100644 .github/workflows/deploy-docs.yml

diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
deleted file mode 100644
index baadce5..0000000
--- a/.github/workflows/deploy-docs.yml
+++ /dev/null
@@ -1,59 +0,0 @@
-name: Build and Deploy documentation
-
-on:
-  push:
-    branches:
-      - master
-  pull_request:
-    branches:
-      - '**'
-
-jobs:
-  build-coqdoc:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Set up Git repository
-        uses: actions/checkout@v3
-
-      - name: Build coqdoc
-        uses: coq-community/docker-coq-action@v1
-        with:
-          custom_image: 'coqorg/coq:dev'
-          custom_script: |
-            {{before_install}}
-            startGroup "Build aac-tactics dependencies"
-              opam pin add -n -y -k path coq-aac-tactics .
-              opam update -y
-              opam install -y -j "$(nproc)" coq-aac-tactics --deps-only
-            endGroup
-            startGroup "Add permissions"
-              sudo chown -R coq:coq .
-            endGroup
-            startGroup "Build aac-tactics"
-              make -j "$(nproc)"
-            endGroup
-            startGroup "Build coqdoc"
-              make coqdoc
-            endGroup
-            startGroup "Build ocamldoc"
-              make ocamldoc
-            endGroup
-
-      - name: Revert Coq user permissions
-        # to avoid a warning at cleanup time
-        if: ${{ always() }}
-        run: sudo chown -R 1001:116 .
-
-      - name: Copy HTML and CSS and JavaScript
-        run: |
-          mkdir public
-          cp -r resources/index.html docs/ public/
-
-      - name: Deploy to GitHub pages
-        if: github.event_name == 'push' && github.ref == 'refs/heads/master'
-        uses: crazy-max/ghaction-github-pages@v2
-        with:
-          build_dir: public
-          jekyll: false
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}