chore: do not deploy a PR on deleted comment (#8677)

* chore: improve deploy-pr.yaml

* Update pr-deploy.yaml

* make fmt
This commit is contained in:
Muhammad Atif Ali
2023-07-23 19:06:24 +03:00
committed by GitHub
parent e7330436c9
commit 30e86e0058
+1
View File
@@ -2,6 +2,7 @@
name: Deploy PR
on:
issue_comment:
types: [created, edited]
workflow_dispatch:
inputs:
pr_number: