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 ef6961c..21b97b5 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-15 - 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 |