From 386d5eec358536e8374d215a4f4d88a04ba3c26e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?St=C3=A9phane=20Brunner?= Date: Fri, 17 Mar 2023 11:47:00 +0100 Subject: [PATCH] Fix the event type from edit to edited in pull request check workflow --- .github/workflows/pr-checks.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/pr-checks.yaml b/.github/workflows/pr-checks.yaml index a25400cfe0..7e80f570d3 100644 --- a/.github/workflows/pr-checks.yaml +++ b/.github/workflows/pr-checks.yaml @@ -7,7 +7,7 @@ on: - reopened - labeled - unlabeled - - edit + - edited - synchronize jobs: