We’ve confirmed that workflows never stopped running. However, a large backlog built up, which triggered alerts indicating that workflows were not running.
We are currently increasing the number of Workflow background workers to process the backlog more quickly.