Skip to content
This repository was archived by the owner on Feb 12, 2026. It is now read-only.

Commit 3464442

Browse files
committed
fix(ci): prevent PR handler from running after pull request merge
1 parent 0e44d90 commit 3464442

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

.github/workflows/bot.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@ on:
2727
jobs:
2828
pr-handler:
2929
runs-on: ubuntu-latest
30-
if: github.event_name == 'pull_request'
30+
if: github.event_name == 'pull_request' && github.event.action != 'closed'
3131

3232
steps:
3333
- name: Generate DevHub Bot token

0 commit comments

Comments
 (0)