From 46d30392b984485de37547e706ed2907102e391a Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 15 Feb 2026 15:23:18 -0500
Subject: [PATCH] delete gh-pages action

---
 .github/workflows/gh-pages.yml | 36 ----------------------------------
 1 file changed, 36 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 29ef55e1..00000000
--- a/.github/workflows/gh-pages.yml
+++ /dev/null
@@ -1,36 +0,0 @@
-name: github pages
-
-on:
-  push:
-    branches:
-      - main
-
-jobs:
-  deploy:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout code
-        uses: actions/checkout@v3
-
-      - name: Use OCaml
-        uses: ocaml/setup-ocaml@v3
-        with:
-          ocaml-compiler: 5.03.x
-          dune-cache: true
-          allow-prerelease-opam: true
-
-      - name: Deps
-        run: opam install odig tiny_httpd tiny_httpd_camlzip tiny_httpd_eio
-
-      - name: Build
-        run: opam exec -- odig odoc --cache-dir=_doc/ tiny_httpd tiny_httpd_camlzip tiny_httpd_eio
-
-      - name: Deploy
-        uses: peaceiris/actions-gh-pages@v3
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./_doc/html
-          destination_dir: .
-          enable_jekyll: false
-            #keep_files: true
-