From 0ddaf799d85d586e4db388e3c922339a12549219 Mon Sep 17 00:00:00 2001 From: Hyun Lee Date: Fri, 10 Jul 2026 19:30:25 -0600 Subject: [PATCH] Add workflow for documentation on push to main --- .github/workflows/docs.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 3c10be02..ba7d1831 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,3 +1,4 @@ +name: Docs on: push: branches: