diff options
author | Marvin Borner | 2025-01-12 00:18:22 +0100 |
---|---|---|
committer | Marvin Borner | 2025-01-12 00:18:22 +0100 |
commit | 8ddea6d934c56602efd6032cb1a6ab7b874c42fd (patch) | |
tree | 259168ba9e84498a2ace3f8d1f5ce75871a59c1b /.github/workflows/ci.yml | |
parent | 4bcaf6166db6af4efe376427092f95e9751f1828 (diff) |
Disabled LLVM flag
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 |