Skip to content
Back to pull request #5922

fix the bug that index scan rule chooses a wrong geo index #10573

Sign in to view logs

fix the bug that index scan rule chooses a wrong geo index

fix the bug that index scan rule chooses a wrong geo index #10573

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint
2m 46s
build (centos7, gcc-9.3)
21m 29s
build (ubuntu2004, gcc-9.3)
41m 56s
build (ubuntu2004, clang-10)
38m 28s
1h 44m 39s