Josh Klar 3a0620a40c tools: Reimplement CI failure script without using CircleCI endpoint. ... Using curl to POST to the CircleCI workflow endpoint on CZO: - Doesn't work on zulip/zulip@main (CZO runs a revert) - Sets a bad example for other orgs - Robs us of an opportunity to dogfood our own zulip/github-actions-zulip Refactor the Actions workflows in this repo to report failure states using the Zulip Action, and reimplement the related helper scripts in Python, since they'd previously mostly shelled out to Python anyway.		2022-12-05 14:33:15 -05:00
..
workflows	tools: Reimplement CI failure script without using CircleCI endpoint.	2022-12-05 14:33:15 -05:00
FUNDING.yml	docs: Create FUNDING.yml.	2021-04-07 20:15:29 -07:00
pull_request_template.md	github: Make self-review checklist in PR template collapsible.	2022-12-02 16:54:58 -08:00