mirror of
https://github.com/GreptimeTeam/greptimedb.git
synced 2026-01-14 01:02:55 +00:00
* ci: do not collect coverage from pull request any more
* fix: disable toolchain cache
ci: update develop ci
update ci to the version in 121ec7936f on
main branch