My github PR merge didn't close automatically.

Hi, I have a pr#20 that was merged but remained in the PR environment. Project ID: 32e7c04c-c58a-41a6-9e8c-320a473294f7 I enable Pull Request Deploys, a temporary environment is spun up to support the Pull Request deploy. These environments are deleted as soon as these PRs are merged or closed. But my pr stayed in my workflow. Bests, Yannick.
2 Replies
Percy
Percy2y ago
Project ID: 32e7c04c-c58a-41a6-9e8c-320a473294f7
Percy
Percy2y ago
⚠️ experimental feature
Want results from more Discord servers?
Add your server