From 7c42ec3b256c0df1072d762dcbd84f0326f1b3b9 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