Code

use pg17 for benchmarking#363

Code

Merged

var77 merged 3 commits intomainlanterndata/lantern:mainfrom varik/fix-ci-benchmarklanterndata/lantern:varik/fix-ci-benchmarkCopy head branch name to clipboardNov 26, 2024

+10-3

Commits

Commits on Nov 25, 2024

• use pg17 for benchmarking

  var77

  committed
  14fe5a5

• fix external indexing variables

  var77

  committed
  e349cb2

Commits on Nov 26, 2024

• wait for external indexing server before benchmark

  var77

  committed
  7b16cc2