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