diff options
| -rw-r--r-- | .github/workflows/ci.yml | 6 | ||||
| -rwxr-xr-x | std/test_all.sh | 6 |
2 files changed, 10 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 60181eb..8267dba 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -14,5 +14,9 @@ jobs: steps: - uses: actions/checkout@v4 - uses: freckle/stack-action@v5 - - name: Run tests + - name: Install hyperfine + run: sudo apt-get install hyperfine + - name: Install bruijn + run: stack install + - name: Run tests and measure time run: cd std/ && ./test_all.sh diff --git a/std/test_all.sh b/std/test_all.sh index 8b0740a..a5a5c63 100755 --- a/std/test_all.sh +++ b/std/test_all.sh @@ -13,4 +13,8 @@ done echo >>All.bruijn echo "main [[0]]" >>All.bruijn -stack run -- All.bruijn | grep "ERROR" && exit 1 || exit 0 +if bruijn All.bruijn | grep "ERROR"; then + exit 1 +fi + +hyperfine "bruijn All.bruijn" |