Skip to content

feat: Delete projects when their Github PR is merged #226

feat: Delete projects when their Github PR is merged

feat: Delete projects when their Github PR is merged #226

Triggered via pull request February 3, 2024 22:00
Status Success
Total duration 20s
Artifacts

auto-assign-pr.yml

on: pull_request_target
assign-author
9s
assign-author
Fit to window
Zoom out
Zoom in