search

lweides / column-store

0 stars 0 forks source link

CI should run on master-merge #23

Closed Eliasrpx closed 1 year ago

Eliasrpx commented 1 year ago

CI should also run on PR merge to master -> PR merge issues a push on master, which triggers the Github workflow