Skip to content

ci: add some checks in the github action#213

Merged
daviderli614 merged 2 commits intoGreptimeTeam:mainfrom daviderli614:ci/add-checkerDec 12, 2024