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 99768f5..0733e7d 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