File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -366,7 +366,7 @@ jobs:
366366 # ── Run benchmarks ────────────────────────────────────────
367367 benchmark :
368368 runs-on : ubuntu-latest
369- timeout-minutes : 20
369+ timeout-minutes : 30
370370 steps :
371371 - uses : actions/checkout@v4
372372
@@ -395,7 +395,7 @@ jobs:
395395 - name : Run benchmarks
396396 run : |
397397 cd build
398- BENCH_RUNS=5 BENCH_SECTION_MODE=wrapped bash ../test/sysbench_compare.sh > /tmp/bench_classic.md
398+ BENCH_ROWS=100000 BENCH_RUNS=5 BENCH_SECTION_MODE=wrapped bash ../test/sysbench_compare.sh > /tmp/bench_classic.md
399399 sed -n '/### File-Backed/,/^_/p' /tmp/bench_classic.md > /tmp/bench_results.md
400400
401401 - name : Upload benchmark results
@@ -446,7 +446,7 @@ jobs:
446446 BENCH="artifacts/benchmark/bench_results.md"
447447 if [ -f "$BENCH" ]; then
448448 EXISTING=$(gh release view "${GITHUB_REF_NAME}" --json body --jq .body)
449- APPEND=$(printf '\n## Benchmark (file-backed INT key, 10K rows, Linux x64)\n\n'; cat "$BENCH")
449+ APPEND=$(printf '\n## Benchmark / int-keys (100K rows, Linux x64)\n\n'; cat "$BENCH")
450450 printf '%s\n%s' "$EXISTING" "$APPEND" > /tmp/release_body.md
451451 gh release edit "${GITHUB_REF_NAME}" --notes-file /tmp/release_body.md
452452 fi
You can’t perform that action at this time.
0 commit comments