ci: build PRs against the pinned DuckDB submodule, not the branch tip#543
Closed
NickCrews wants to merge 1 commit into
Closed
ci: build PRs against the pinned DuckDB submodule, not the branch tip#543NickCrews wants to merge 1 commit into
NickCrews wants to merge 1 commit into
