diff options
| author | Marvin Borner | 2024-02-22 21:20:44 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-02-22 21:20:44 +0100 |
| commit | f8e5a7026447b4d3f2f4840ec1a88df83d3d123e (patch) | |
| tree | 711e0b05b4e5e43b4575670f1c9fdf651980f34b | |
| parent | c9b30f99992c98745d52807f5e45a12f6aee2c5f (diff) | |
Hyperfine measurement
| -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" |