Anders Kaseorg 70914b0475 Remove support for Ubuntu 20.04 and Debian 11. ... Signed-off-by: Anders Kaseorg <andersk@mit.edu>		2024-04-01 13:27:39 -07:00
..
.gitattributes	install: Replace wget with curl.	2021-06-25 09:05:07 -07:00
Dockerfile	Remove support for Ubuntu 20.04 and Debian 11.	2024-04-01 13:27:39 -07:00
Dockerfile.prod	Remove support for Ubuntu 20.04 and Debian 11.	2024-04-01 13:27:39 -07:00
activate-venv	…
build-docker-images	Remove support for Ubuntu 20.04 and Debian 11.	2024-04-01 13:27:39 -07:00
check-executables	ci: Check that non-scripts aren’t marked executable.	2022-12-07 09:54:01 -08:00
generate-failure-message	tools: Reimplement CI failure script without using CircleCI endpoint.	2022-12-05 14:33:15 -05:00
production-build	katex: Replace subprocess call with minimal external service.	2024-03-15 15:34:12 -07:00
production-install	ci: Move specialized tests away from Ubuntu 20.04 and Debian 11.	2024-04-01 13:27:39 -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	…
setup-frontend	…
success-http-headers.template.txt	nginx: Remove legacy X-XSS-Protection header.	2022-06-27 17:38:18 -07:00