Right now, if a PR is closed while a build is still being run, that final build will never be deleted.
This should be fixed by regularly removing all PR builds that don't have an open PR associated with them. Perhaps this check could be run every time a PR is closed (instead of just deleting that PR build)?
Right now, if a PR is closed while a build is still being run, that final build will never be deleted.
This should be fixed by regularly removing all PR builds that don't have an open PR associated with them. Perhaps this check could be run every time a PR is closed (instead of just deleting that PR build)?