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
..
.gitattributes	install: Replace wget with curl.	2021-06-25 09:05:07 -07:00
activate-venv	Use #!/usr/bin/env for bash shebangs.	2018-12-17 17:21:08 -08:00
build-docker-images	ci: Test upgrades from the minimum of each major version, not the max.	2022-07-16 10:43:40 -07:00
Dockerfile	ci: Do not pre-install rabbitmq-server in Docker images.	2022-10-25 14:53:32 -04:00
Dockerfile.prod	scripts: Pass --retry 3 to curl.	2022-11-08 08:07:36 -08:00
generate-failure-message	tools: Reimplement CI failure script without using CircleCI endpoint.	2022-12-05 14:33:15 -05:00
production-build	tools: Reimplement CI failure script without using CircleCI endpoint.	2022-12-05 14:33:15 -05:00
production-install	ci: Remove references to CircleCI, which we no longer use.	2022-07-16 10:43:40 -07:00
production-pgroonga	ci: Test pgroonga installation.	2021-11-20 07:13:50 -08:00
production-upgrade	ci: Do not pre-install rabbitmq-server in Docker images.	2022-10-25 14:53:32 -04:00
production-upgrade-pg	ci: Unpack installation tarball under /root/.	2021-05-14 14:31:00 -07:00
production-verify	ci: Remove references to CircleCI, which we no longer use.	2022-07-16 10:43:40 -07:00
setup-backend	ci: Remove 2>&1 redirection.	2021-03-29 14:52:06 -07:00
setup-frontend	tools: Rename tools/travis directory to tools/ci.	2018-12-10 11:07:26 -08:00
success-http-headers.template.txt	nginx: Remove legacy X-XSS-Protection header.	2022-06-27 17:38:18 -07:00