From 07e88c5ca3d2df0a7f0f2b47eb0216de500e0326 Mon Sep 17 00:00:00 2001
From: David Tolnay <dtolnay@gmail.com>
Date: Mon, 19 Jun 2023 13:52:22 -0700
Subject: [PATCH] Add mdbook build

---
 .github/workflows/mdbook.yml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 .github/workflows/mdbook.yml

diff --git a/.github/workflows/mdbook.yml b/.github/workflows/mdbook.yml
new file mode 100644
index 0000000..12afc99
--- /dev/null
+++ b/.github/workflows/mdbook.yml
@@ -0,0 +1,16 @@
+name: mdbook
+
+on:
+  push:
+    branches:
+      - mdbook
+  workflow_dispatch:
+
+jobs:
+  build:
+    uses: ./.github/workflows/build.yml
+    with:
+      crate: mdbook
+    permissions:
+      contents: write
+    secrets: inherit