Skip to content

Commit

Permalink
Update the LLVM version in the linux workflow
Browse files Browse the repository at this point in the history
  • Loading branch information
cnheitman committed Oct 25, 2023
1 parent 0d255df commit 1e83067
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/linux.yml
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@ jobs:
- name: Install LLVM and Clang
uses: KyleMayes/install-llvm-action@v1
with:
version: "14.0"
version: "16.0.6"
directory: ${{ runner.temp }}/llvm

- name: Install Z3
Expand Down

0 comments on commit 1e83067

Please sign in to comment.