Fix wiki format

This commit is contained in:
Koichi Nakamura 2021-01-11 18:04:05 +09:00
parent 425cbd5d97
commit c7fd547560
2 changed files with 3 additions and 3 deletions

View file

@ -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:

View file

@ -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