6 commits

Author	SHA1	Message	Date
Changzheng Liu	33f657b392	Make run-zoekt-servers name version independent	2024-01-23 14:18:57 -08:00
Dmitry Gruzd	08a2884e3c	Fix Zoekt CI image. Bump to v1.5	2023-11-29 17:13:00 +00:00
Dmitry Gruzd	2b6889b17c	Add new zoekt-ci-image	2023-07-06 19:42:40 +00:00
Dmitry Gruzd	1101f8b81d	Add zoekt-ci-image v1.1	2023-06-01 13:48:46 +02:00
Dylan Griffith	48f74b0097	Fix zoekt-dynamic-indexserver zoekt-ci-image ... This command was recently changed and the dynamic_server argument was removed so it wasn't starting up.	2023-01-24 22:49:47 +00:00
Dylan Griffith	896be72570	Add zoekt-ci-image	2023-01-24 12:31:04 +11:00