diff options
Diffstat (limited to '.github/workflows/ci.yml')
| -rw-r--r-- | .github/workflows/ci.yml | 6 |
1 files changed, 5 insertions, 1 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 |