diff --git a/.github/workflows/benchmark.yaml b/.github/workflows/benchmark.yaml index 14faf4801c..76c13d82ae 100644 --- a/.github/workflows/benchmark.yaml +++ b/.github/workflows/benchmark.yaml @@ -85,6 +85,8 @@ jobs: with: name: benchmark tool: "customSmallerIsBetter" + gh-pages-branch: main + benchmark-data-dir-path: "docs/dev/bench" output-file-path: "test/benchmark/report/combined_benchmark.json" github-token: ${{ secrets.GITHUB_TOKEN }} auto-push: true diff --git a/docs/dev/bench/index.html b/docs/dev/bench/index.html new file mode 100644 index 0000000000..3358f22cf9 --- /dev/null +++ b/docs/dev/bench/index.html @@ -0,0 +1,307 @@ + + + + + + + Benchmarks + + + + +
+ + + + + + + +