The bot occasionally gets stuck, sometimes because of a bug in the bot and sometimes because GitHub Actions screws up. We should add a scheduled workflow that automatically reruns CI on all open pull requests to catch these issues.