From a334a171f7635d617c28ed985b00ae9c891fd1eb Mon Sep 17 00:00:00 2001 From: ckunki Date: Fri, 19 Apr 2024 16:48:47 +0200 Subject: [PATCH] re-added pull_request activity type with comment --- .github/workflows/check-api-outdated.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/check-api-outdated.yml b/.github/workflows/check-api-outdated.yml index e96aadc..1527aac 100644 --- a/.github/workflows/check-api-outdated.yml +++ b/.github/workflows/check-api-outdated.yml @@ -5,6 +5,9 @@ on: branches-ignore: - "github-pages/*" - "gh-pages/*" + pull_request: + # check results of former push could be outdated + types: [opened, reopened] workflow_dispatch: schedule: # “At 4 am on every day.” (https://crontab.guru)