From 8c78067d6ea2df26e2830b4c0fb55bb1f823d9dd Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 12 Feb 2026 07:53:21 -0800
Subject: [PATCH] Add release trigger to documentation workflow

---
 .github/workflows/docs.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 7992fc146..7050f3590 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -2,6 +2,8 @@ name: Documentation
 
 on:
   workflow_dispatch:
+  release:
+    types: [published] 
 
 permissions:
   contents: read