mirror of
https://github.com/pgvector/pgvector.git
synced 2026-07-22 03:57:34 +08:00
* chore(ci): update to use pg 17 Signed-off-by: Rui Chen <rui@chenrui.dev> * chore(ci): update pg 14 to `REL_14_15` Signed-off-by: Rui Chen <rui@chenrui.dev> --------- Signed-off-by: Rui Chen <rui@chenrui.dev>