From 7fcb6439815a458884f55fb807121a3463cf4c64 Mon Sep 17 00:00:00 2001
From: Arun Babu Neelicattu <arun.neelicattu@gmail.com>
Date: Fri, 13 May 2022 17:37:35 +0200
Subject: [PATCH] ci: trigger docs on pr sync

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index cfa949d543e..73e701c41be 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -11,6 +11,7 @@ on:
     # prevent execution when the workflow itself is modified from a fork
     types:
       - labeled
+      - synchronize
     paths-ignore:
       - "**"
       - "!docs/**"