mirror of
https://github.com/nineties/planckforth
synced 2024-12-26 21:58:42 +01:00
fix bug
This commit is contained in:
parent
255c58c9a5
commit
591d267201
2 changed files with 3 additions and 6 deletions
2
.github/workflows/benchmark.yaml
vendored
2
.github/workflows/benchmark.yaml
vendored
|
@ -9,7 +9,7 @@ jobs:
|
||||||
- uses: actions/checkout@v1
|
- uses: actions/checkout@v1
|
||||||
- name: take benchmarks
|
- name: take benchmarks
|
||||||
run: |
|
run: |
|
||||||
./benchmark/gendoc.sh
|
./benchmark/gendoc.sh | tee document/benchmark.md
|
||||||
- name: upload to wiki
|
- name: upload to wiki
|
||||||
uses: SwiftDocOrg/github-wiki-publish-action@v1
|
uses: SwiftDocOrg/github-wiki-publish-action@v1
|
||||||
with:
|
with:
|
||||||
|
|
|
@ -1,8 +1,5 @@
|
||||||
#!/bin/bash
|
#!/bin/bash
|
||||||
|
|
||||||
mkdir -p document
|
|
||||||
|
|
||||||
FILE=document/benchmark.md
|
|
||||||
TARGETS="i386-linux-handwritten c"
|
TARGETS="i386-linux-handwritten c"
|
||||||
TIMEFORMAT='%U'
|
TIMEFORMAT='%U'
|
||||||
function benchmark () {
|
function benchmark () {
|
||||||
|
@ -29,7 +26,7 @@ function generate-table {
|
||||||
t=`benchmark $2 $3`
|
t=`benchmark $2 $3`
|
||||||
echo "| $impl | $t |"
|
echo "| $impl | $t |"
|
||||||
done
|
done
|
||||||
} | tee -a $FILE
|
}
|
||||||
|
|
||||||
echo "# Benchmarks" | tee $FILE
|
echo "# Benchmarks"
|
||||||
generate-table "Bootstrap Time" bootstrap 5
|
generate-table "Bootstrap Time" bootstrap 5
|
||||||
|
|
Loading…
Reference in a new issue