From a90146a49d70cb2273d62e230db47143d791757c Mon Sep 17 00:00:00 2001
From: Jim Turner <github@turner.link>
Date: Thu, 18 Feb 2021 15:12:59 -0500
Subject: [PATCH] Add docs to CI

This is primarily to detect broken intra-doc links, which `cargo doc`
warns about.
---
 .github/workflows/ci.yaml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index d0a0c0118..1bca099aa 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -85,12 +85,28 @@ jobs:
       - run: cargo careful test -Zcareful-sanitizer --features="$FEATURES"
       - run: cargo careful test -Zcareful-sanitizer -p ndarray-rand
 
+  docs:
+    if: ${{ github.event_name == 'merge_group' }}
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        rust:
+          - stable
+    name: docs/${{ matrix.rust }}
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: ${{ matrix.rust }}
+      - run: cargo doc
+
   conclusion:
     needs:
       - clippy
       - tests
       - cross_test
       - cargo-careful
+      - docs
     if: always()
     runs-on: ubuntu-latest
     steps: