Skip to content

fixes docker publish workflow #1629

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Apr 29, 2025
Merged

Conversation

ivg
Copy link
Member

@ivg ivg commented Apr 29, 2025

It looks like that the newest version of z3 doesn't build on the older ubuntu distributions. We can try constraining them to the latest version that was providing the static version.

It looks like that the newest version of z3 doesn't build on the older
ubuntu distributions. We can try constraining them to the latest
version that was providing the static version.
@ivg ivg force-pushed the fixes-nightlies-by-constraining-z3 branch from 152de75 to 08d449d Compare April 29, 2025 18:07
@ivg ivg merged commit 14b129c into master Apr 29, 2025
6 of 7 checks passed
@ivg ivg deleted the fixes-nightlies-by-constraining-z3 branch April 30, 2025 13:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant