Skip to content

CI: Actually run on pushes to main#1487

Merged
Mytherin merged 1 commit intoduckdb:mainfrom
carlopi:main
Nov 14, 2023
Merged

CI: Actually run on pushes to main#1487
Mytherin merged 1 commit intoduckdb:mainfrom
carlopi:main

Commits

Commits on Nov 14, 2023