Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
Github's down again: https://www.githubstatus.com/ What's going on with their services this month?
Maybe fewer engineers are available
Aw jeez, here come all the failed cron build emails :crying_cat:
Github's down again: https://www.githubstatus.com/
What's going on with their services this month?
Maybe fewer engineers are available
Aw jeez, here come all the failed cron build emails :crying_cat: