From 605cb86e32303826688cc32dd6e2d6ea7f8ba9f7 Mon Sep 17 00:00:00 2001
From: Chris Wong <lambda.fairy@gmail.com>
Date: Thu, 7 Jan 2021 21:08:59 +1300
Subject: [PATCH] Note that docs CI should be kept in sync with publish script

---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 99768f55..0733e7d4 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -72,6 +72,7 @@ jobs:
     - name: Run benchmarks
       run: cd benchmarks && cargo test --benches --locked
 
+  # Please keep this in sync with `publish-docs.yml`
   documentation:
     name: Documentation
     runs-on: ubuntu-latest