sphinx docs rendering is triggered on published release, instead of on push. also added workflow_dispatch trigger

sid-rl · sid-rl · commit 3c4befc41828 · 2025-11-19T15:19:49.000-08:00
diff --git a/.github/workflows/sphinx.yml b/.github/workflows/sphinx.yml
@@ -1,6 +1,9 @@
 name: "Sphinx: Render docs"
 
-on: push
+on:
+  release:
+    types: [published]
+  workflow_dispatch:
 
 jobs:
   build:
