diff options
Diffstat (limited to '.github/workflows/ci.yml')
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 21b97b5..14132fc 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -13,9 +13,9 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 + - name: Install dependencies + run: sudo apt-get install hyperfine llvm - uses: freckle/stack-action@v5 - - name: Install hyperfine - run: sudo apt-get install hyperfine - name: Install bruijn run: stack install - name: Run HigherOrder tests and measure time |