From c7fd547560c99badd21aba234e22a5908cf47c7a Mon Sep 17 00:00:00 2001 From: Koichi Nakamura Date: Mon, 11 Jan 2021 18:04:05 +0900 Subject: [PATCH] Fix wiki format --- .github/workflows/benchmark.yaml | 2 +- benchmark/gendoc.sh | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/benchmark.yaml b/.github/workflows/benchmark.yaml index 64afbd1..0357780 100644 --- a/.github/workflows/benchmark.yaml +++ b/.github/workflows/benchmark.yaml @@ -11,7 +11,7 @@ jobs: - name: take benchmarks run: | mkdir -p document - ./benchmark/gendoc.sh | tee document/benchmark.md + ./benchmark/gendoc.sh | tee document/Benchmarks.md - name: upload to wiki uses: SwiftDocOrg/github-wiki-publish-action@v1 with: diff --git a/benchmark/gendoc.sh b/benchmark/gendoc.sh index 173c9bd..caa7521 100755 --- a/benchmark/gendoc.sh +++ b/benchmark/gendoc.sh @@ -13,8 +13,9 @@ function benchmark () { } function generate-table { - echo "## $1" + echo "# $1" echo "\`$2\`" + echo echo "Average of $3 execution times." echo echo "| implementation | sec |" @@ -27,6 +28,5 @@ function generate-table { echo } -echo "# Benchmarks" generate-table "Bootstrap Time" "./planck < bootstrap.fs benchmark/nop.fs" 3 generate-table "Fib(20)" "./planck < bootstrap.fs benchmark/fib.fs" 3