-
Notifications
You must be signed in to change notification settings - Fork 30
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.
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
open_prompt 0.0.5 #255
open_prompt 0.0.5 #255
Conversation
(failure connected to naming of rtools / mingw platform should be now solved via #258) |
Thanks @carlopi we're running some more tests and I'll update the PR to recheck later today |
side question @carlopi what's the ideal state for the .gitmodules (duckdb, ci-tools) in the extension repo when submitting a new version to the community repo and/or does it not matter for the actions? Shall they point to main or a specific release? |
Brief version is:
I would say given we are close to release it's advised to move to I am going to add more context while solving #223, feel free to subscribe for updates there. |
This will be probably be the last update for 1.1.3 users requesting this feature - thanks & enjoy! |
Grazie @carlopi |
Changes
Thanks to @aborruso for the assistance testing the changes