Merge branch 'master' into fix-paging

pingcap · Feb 7, 2023 · b447ffd · b447ffd
2 parents 869fbd9 + 79a5d3b
commit b447ffd
Show file tree

Hide file tree

Showing 220 changed files with 6,614 additions and 3,429 deletions.
diff --git a/.bazelrc b/.bazelrc
@@ -1,4 +1,4 @@
-startup --host_jvm_args=-Xmx8g
+startup --host_jvm_args=-Xmx4g
 startup --unlimit_coredumps
 
 run:ci --color=yes