From c10962746f0a784cbf96e863e2fc6e1dcf0285d7 Mon Sep 17 00:00:00 2001
From: Henry de Valence <hdevalence@penumbra.zone>
Date: Fri, 10 Sep 2021 14:43:54 -0700
Subject: [PATCH] docs: render tendermint docs

This is useful until
https://github.com/informalsystems/tendermint-rs/pull/862 is merged
upstream.
---
 .github/workflows/notes.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/notes.yml b/.github/workflows/notes.yml
index 9dfce679c1..3d4847fd08 100644
--- a/.github/workflows/notes.yml
+++ b/.github/workflows/notes.yml
@@ -34,6 +34,9 @@ jobs:
         run: |
           cargo doc --no-deps
           cargo doc --no-deps -p tower-abci
+          # This is useful until ABCI changes are merged upstream
+          # https://github.com/informalsystems/tendermint-rs/pull/862
+          cargo doc --no-deps -p tendermint
       - name: Move API docs to subdirectory
         run: |
           if [ -d "firebase-tmp" ]; then rm -rf firebase-tmp; fi