Merge pull request #311293 from diogotcorreia/pgvecto.rs-broken-pg12-pg13

pgvecto-rs: mark as broken in pg12 and pg13
This commit is contained in:
Weijia Wang
2024-05-13 23:02:50 +02:00
committed by GitHub
2 changed files with 4 additions and 3 deletions

View File

@@ -66,7 +66,7 @@ let
'';
};
applicablePostgresqlVersions = filterAttrs (_: value: versionAtLeast value.version "12") postgresql-versions;
applicablePostgresqlVersions = filterAttrs (_: value: versionAtLeast value.version "14") postgresql-versions;
in
mapAttrs'
(name: package: {