From 1f31f26edf96cbc621e486984d8ec3c600b66776 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 1 Jun 2023 23:20:06 -0400
Subject: [PATCH] ugh

---
 .github/workflows/gh-pages.yml | 42 ----------------------------------
 1 file changed, 42 deletions(-)
 delete mode 100644 .github/workflows/gh-pages.yml

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
deleted file mode 100644
index ae53eaf4..00000000
--- a/.github/workflows/gh-pages.yml
+++ /dev/null
@@ -1,42 +0,0 @@
-name: github pages
-
-on:
-  push:
-    branches:
-      - main
-
-jobs:
-  deploy:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@main
-
-      - name: Cache opam
-        id: cache-opam
-        uses: actions/cache@v2
-        with:
-          path: ~/.opam
-          key: opam-ubuntu-latest-4.12.0
-
-      - uses: ocaml/setup-ocaml@v2
-        with:
-          ocaml-compiler: '5.0'
-
-      - name: Pin
-        run: opam pin -n .
-
-      - name: Depext
-        run: opam depext -yt moonpool
-
-      - name: Deps
-        run: opam install -d . --deps-only
-
-      - name: Build
-        run: opam exec -- dune build @doc
-
-      - name: Deploy
-        uses: peaceiris/actions-gh-pages@v3
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./_build/default/_doc/_html/
-          enable_jekyll: true