From 801db4a6c236121a03a5bac5fb9f731a7055b99d Mon Sep 17 00:00:00 2001
From: Maxime Biais <maxime.biais@gmail.com>
Date: Tue, 23 Apr 2024 09:13:53 +0200
Subject: [PATCH] Trigger documentation generation on GitHub release publishing

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

diff --git a/.github/workflows/dokka-github-pages.yml b/.github/workflows/dokka-github-pages.yml
index cd2f6846..7d213282 100644
--- a/.github/workflows/dokka-github-pages.yml
+++ b/.github/workflows/dokka-github-pages.yml
@@ -7,6 +7,8 @@ on:
       - release/*
     tags:
       - "[0-9]+.[0-9]+.[0-9]+"
+  release:
+    types: [published]
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions: