zulip/tools/ci
Alex Vandiver 39efe6f312 ci: Remove references to CircleCI, which we no longer use. 2022-07-16 10:43:40 -07:00
..
.gitattributes install: Replace wget with curl. 2021-06-25 09:05:07 -07:00
Dockerfile Remove Ubuntu 18.04 support. 2022-01-21 17:26:14 -08:00
Dockerfile.prod ci: Remove references to CircleCI, which we no longer use. 2022-07-16 10:43:40 -07:00
activate-venv
build-docker-images ci: Test upgrades from the minimum of each major version, not the max. 2022-07-16 10:43:40 -07:00
production-build install-shfmt: Upgrade shfmt from 3.4.3 to 3.5.0. 2022-06-02 12:03:49 -07: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: Remove unnecessary steps from production upgrade script. 2021-07-28 08:44:15 -07: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
send-failure-message scripts: Use curl -f (--fail). 2021-07-13 16:47:49 -07:00
setup-backend ci: Remove 2>&1 redirection. 2021-03-29 14:52:06 -07:00
setup-frontend
success-http-headers.template.txt nginx: Remove legacy X-XSS-Protection header. 2022-06-27 17:38:18 -07:00