Skip to content

Commit

Permalink
Update z3 version in CI.
Browse files Browse the repository at this point in the history 
Apparently this still works with 4.12.4 so we can move forward using a
newer version.
  • Loading branch information
@Javran
Javran committed Jan 5, 2024
1 parent 2378785 commit 66325da
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions ci/install-z3.sh
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

0 comments on commit 66325da

Please sign in to comment.