From db714f490b153213657878efc542bef490b28344 Mon Sep 17 00:00:00 2001
From: Boning <10731263+bn-d@users.noreply.github.com>
Date: Sat, 20 Jan 2024 01:20:56 +0000
Subject: [PATCH] Delete .github/workflows/odoc.yml

`deploy-odoc` was removed from OCaml actions
---
 .github/workflows/odoc.yml | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100644 .github/workflows/odoc.yml

diff --git a/.github/workflows/odoc.yml b/.github/workflows/odoc.yml
deleted file mode 100644
index 2c3c86c..0000000
--- a/.github/workflows/odoc.yml
+++ /dev/null
@@ -1,21 +0,0 @@
-name: Deploy odoc
-
-on:
-  push:
-    branches: [main]
-
-jobs:
-  deploy-doc:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout code
-        uses: actions/checkout@v3
-
-      - name: Use OCaml 4.14.x
-        uses: ocaml/setup-ocaml@v2
-        with:
-          ocaml-compiler: 4.14.x
-          dune-cache: true
-
-      - name: Deploy odoc to GitHub Pages
-        uses: ocaml/setup-ocaml/deploy-doc@v2