From 118331aa6bce3ec5c833316d6f5c1eaf36ba20fe Mon Sep 17 00:00:00 2001
From: Garry Tan <garrytan@gmail.com>
Date: Thu, 23 Apr 2026 21:25:41 -0700
Subject: [PATCH] ci: re-trigger PR workflows after merge