Skip to content

Conversation

carlopi
Copy link
Contributor

@carlopi carlopi commented Jan 23, 2023

Checked with @samansmink, we should be good to go, but it's entirely possible something slipped, and the only proper test will be after merging. Commits are independent and if needed only the relevant one can be reverted.

@Mytherin Mytherin merged commit 218bae2 into duckdb:master Jan 23, 2023
@Mytherin
Copy link
Collaborator

Merging now as this has no impact on PR CI and has to be tested in master.

@carlopi carlopi deleted the ci branch January 23, 2023 13:35
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.

2 participants