Skip to content

Commit

Permalink
add z3 dependency to action
Browse files Browse the repository at this point in the history
  • Loading branch information
dorchard authored Jan 24, 2024
1 parent c8e1c0b commit 54e6c85
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions .github/workflows/haskell.yml
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,12 @@ jobs:
- name: Checkout code
uses: actions/checkout@v3

- name: Install required libraries
run: >-
sudo apt install
z3
- name: Cache Stack build artifacts (user + project)
uses: actions/cache@v3
with:
Expand Down

0 comments on commit 54e6c85

Please sign in to comment.