Aman Agrawal 80268c52df ci: Notify in zulip when a build fails in GitHub Actions. ... We use the circleci integration which already has a nice setup for sending messages when triggered to send the build failure notification.		2021-02-26 08:29:56 -08:00
..
workflows	ci: Notify in zulip when a build fails in GitHub Actions.	2021-02-26 08:29:56 -08:00
pull_request_template.md	docs: Fix more capitalization issues.	2020-10-23 11:46:55 -07:00