Topic: gh actions is down atm
Gabriel Ebner (May 20 2020 at 14:12):
Github actions has some hiccups at the moment. Please don't be alarmed if your PR fails to build.
Bryan Gin-ge Chen (May 20 2020 at 15:18):
Whenever it comes back, we'll just have to re-comment
bors r+ on all the PR's labeled "ready-to-merge". Annoying that https://www.githubstatus.com/ still hasn't noticed.
Bryan Gin-ge Chen (May 20 2020 at 15:35):
According to the github forums, it looks like actions just started working again. Trying again...
Last updated: May 14 2021 at 23:14 UTC