Since 13:41 until 14:06 UTC, git push no longer triggered a deployment. If you did a git push during those times, please use the "restart last pushed commit" button to actually deploy the latest commit.