Zulip Chat Archive

Stream: general

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: Aug 03 2023 at 10:10 UTC