skip several ci jobs on prs that only bump extensions#19249
Merged
Mytherin merged 1 commit intoduckdb:v1.4-andiumfrom Oct 11, 2025
Merged
skip several ci jobs on prs that only bump extensions#19249Mytherin merged 1 commit intoduckdb:v1.4-andiumfrom
Mytherin merged 1 commit intoduckdb:v1.4-andiumfrom