Code

chore: release pipeline#9

Code

Merged

usamoi merged 9 commits intotensorchord:maintensorchord/pg_bestmatch.rs:mainfrom usamoi:mainusamoi/pg_bestmatch.rs:mainCopy head branch name to clipboardJun 5, 2024

+486,150-12

Commits

Commits on Jun 4, 2024

• chore: vendor

  Show description for 896379e
  usamoi

  committed
  896379e

  Copy full SHA for 896379e

• chore: fix pgrx-pg-sys

  Show description for 3269d04
  usamoi

  committed
  3269d04

  Copy full SHA for 3269d04

• chore: exclude files for typos check

  Show description for 7e2f5a7
  usamoi

  committed
  7e2f5a7

  Copy full SHA for 7e2f5a7

Commits on Jun 5, 2024

• ci: releases

  Show description for c47963d
  usamoi

  committed
  c47963d

  Copy full SHA for c47963d

• ci: update_vendor for all PG versions

  Show description for c907133
  usamoi

  committed
  c907133

  Copy full SHA for c907133

• ci: use vendored files in check

  Show description for 9ec071a
  usamoi

  committed
  9ec071a

  Copy full SHA for 9ec071a

• chore: update vendor

  

  usamoi

  authored and

  github-actions[bot]

  committed
  786cf1b

  Copy full SHA for 786cf1b

• Merge pull request #2 from usamoi/update-vendor

  Show description for 6bc1ffd
  usamoi

  authored
  6bc1ffd

  Copy full SHA for 6bc1ffd

• fix: update permission of scripts

  Show description for c7213f0
  usamoi

  committed
  c7213f0

  Copy full SHA for c7213f0