language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-12-23 08:48:03 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

install z3

Browse source 
Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>
This commit is contained in:
Anton-4 2024-12-30 20:04:40 +01:00 • committed by GitHub
parent fe8f7ca4b3
commit 8ecd6fa512
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
.github/workflows/basic_cli_build_release.yml vendored
View file

@ -256,6 +256,7 @@ jobs:
run: |
brew install expect
brew install nmap # includes ncat
brew install z3
- name: prepare testing
run: |