More local-dev work #1051

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

levkk merged 4 commits into master from levkk-more-local-dev

Oct 4, 2023

Contributor

levkk commented Oct 4, 2023 •

edited

Loading

Add local-dev check and local-dev install-pgvector to pgml-components.
Update pgrx version in docs.

levkk added 4 commits

October 4, 2023 00:30


validate .env

79fbc61


brew

a73999f


moar

1ca6652


stuff

5fa72b0

levkk marked this pull request as ready for review

October 4, 2023 20:58

levkk merged commit e2937ad into master

levkk deleted the levkk-more-local-dev branch

October 4, 2023 20:58

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment