feat: Delete projects when their Github PR is merged #226
Triggered via pull request
February 3, 2024 22:00
eric-nguyen-cs
opened
#385
Status
Success
Total duration
20s
Artifacts
–
auto-assign-pr.yml
on: pull_request_target
assign-author
9s