From 116026d36d417f0d6c60235509df8fa611c59dc8 Mon Sep 17 00:00:00 2001
From: j-hui <j-hui@cs.columbia.edu>
Date: Thu, 7 Dec 2023 17:31:33 -0500
Subject: [PATCH] ci: also generate docs for branches that begin with 'docs'

---
 .github/workflows/docs.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index f1ade86..51083ff 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
     - main
+    - 'docs-*'
     paths:
     - '.github/**'
     - 'doc/**'