Zulip Chat Archive

Stream: general

Topic: gh actions is down atm


view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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