Code

fix: change toolchain file name#4621

Code

Merged

zyy17 merged 1 commit intoGreptimeTeam:mainGreptimeTeam/greptimedb:mainfrom daviderli614:fix/file-namedaviderli614/greptimedb:fix/file-nameCopy head branch name to clipboardAug 26, 2024

+1-1

Commits

Commits on Aug 26, 2024

• fix: change toolchain file name

  daviderli614

  committed
  b82f58c