From f9cfa5c9ce0eacd38e961c954e461e5e73067d22 Mon Sep 17 00:00:00 2001
From: Martin von Zweigbergk <martinvonz@google.com>
Date: Wed, 6 Nov 2024 22:09:28 -0800
Subject: [PATCH] github: don't run release workflow after editing release

It was temporarily enabled in the hope that we could trigger the
failed workflow for 0.23.0 by editing the release (that didn't work).
---
 .github/workflows/release.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 46b73aa6c9..b512834d68 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -2,7 +2,7 @@ name: Release
 
 on:
   release:
-    types: [published, edited]
+    types: [published]
 
 permissions: read-all