Skip to content

chore(ci): resurrect pgvector build pipeline#845

Merged
jezekra1 merged 1 commit intomainfrom
resurrect-pgvector-build-pipeline
Jun 26, 2025
Merged

chore(ci): resurrect pgvector build pipeline#845
jezekra1 merged 1 commit intomainfrom
resurrect-pgvector-build-pipeline

Conversation

@jezekra1
Copy link
Collaborator

No description provided.

Signed-off-by: Radek Ježek <radek.jezek@ibm.com>
@jezekra1 jezekra1 force-pushed the resurrect-pgvector-build-pipeline branch from 44f3147 to a7c31f1 Compare June 26, 2025 08:56
@jezekra1 jezekra1 merged commit 127815f into main Jun 26, 2025
6 checks passed
@jezekra1 jezekra1 deleted the resurrect-pgvector-build-pipeline branch June 26, 2025 08:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant