Skip to content
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.

Sign up for GitHub

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

Jump to bottom

update z3 in docker files #14074

Merged
merged 3 commits into from Apr 12, 2023
Merged

update z3 in docker files #14074

merged 3 commits into from Apr 12, 2023

Conversation

leonardoalt
Copy link
Member

No description provided.

@github-actions
Copy link

solbuildpackpusher/solidity-buildpack-deps:ubuntu2204.clang-2 [solbuildpackpusher/solidity-buildpack-deps@sha256:87309c2ff15ff40c54f4df1c4d0c6d4369f1730541f14ec804b388eede663e45].

@github-actions
Copy link

solbuildpackpusher/solidity-buildpack-deps:ubuntu1604.clang.ossfuzz-23 [solbuildpackpusher/solidity-buildpack-deps@sha256:8c436db8d797c2f6c2ee36e5a686b93a77b899c5914a5f18fdbbc8edd7d3c585].

@github-actions
Copy link

solbuildpackpusher/solidity-buildpack-deps:ubuntu2204-2 [solbuildpackpusher/solidity-buildpack-deps@sha256:26f220cf6114a125c4ad5b95dbd4c99b98e668b8abb17a3223b8fe9e950c6af6].

@github-actions
Copy link

solbuildpackpusher/solidity-buildpack-deps:emscripten-15 [solbuildpackpusher/solidity-buildpack-deps@sha256:6c99f68655b28a1d9e10620ca27c266f7749fe1636a2a4399533c965d066e6cf].

ekpyron
ekpyron reviewed Mar 28, 2023
View reviewed changes
CMakeLists.txt Outdated Show resolved Hide resolved
@github-actions
Copy link

solbuildpackpusher/solidity-buildpack-deps:emscripten-15 [solbuildpackpusher/solidity-buildpack-deps@sha256:f86cb1fb4631b1fbb927149f60caea7b095be5b85d379456eee09cb105e7f225].

@github-actions
Copy link

solbuildpackpusher/solidity-buildpack-deps:ubuntu2204.clang-2 [solbuildpackpusher/solidity-buildpack-deps@sha256:2506e10ea9a33368ab2ac485411ccd315754bd9bd8d9daf98db2f1f75044cc7f].

@github-actions
Copy link

solbuildpackpusher/solidity-buildpack-deps:ubuntu2204-2 [solbuildpackpusher/solidity-buildpack-deps@sha256:ce4edd4a13a467aa6a212130b2e97ad988c26090f0b1172ae905a1232cb4bea4].

@github-actions
Copy link

solbuildpackpusher/solidity-buildpack-deps:ubuntu2204.clang-2 [solbuildpackpusher/solidity-buildpack-deps@sha256:0d4fa1da806f9b3daabd2d1dc0842899af794a838e475c14045c3fb289cc8103].

@github-actions
Copy link

solbuildpackpusher/solidity-buildpack-deps:ubuntu2204-2 [solbuildpackpusher/solidity-buildpack-deps@sha256:7f0b62da2aa0920660e67cd17fb3a7f6c57d7da72454003056f3bd27bbda2075].

@github-actions
Copy link

solbuildpackpusher/solidity-buildpack-deps:ubuntu2004-17 [solbuildpackpusher/solidity-buildpack-deps@sha256:87c63f4c0e9be15b60417809cd3245892db281af0f80ed7378a1978f6f170029].

@github-actions
Copy link

solbuildpackpusher/solidity-buildpack-deps:ubuntu1604.clang.ossfuzz-23 [solbuildpackpusher/solidity-buildpack-deps@sha256:7a84f67829ec2fdcfc8a61ebf22f9dc27b04a9edeb1531565ab3e0ebb1cbc4a0].

@github-actions
Copy link

solbuildpackpusher/solidity-buildpack-deps:ubuntu1604.clang.ossfuzz-23 [solbuildpackpusher/solidity-buildpack-deps@sha256:f1ab9eb588e95dd684e6370a1c19ceed80407181b50a39815e9bae983c316cec].

@github-actions
Copy link

solbuildpackpusher/solidity-buildpack-deps:emscripten-15 [solbuildpackpusher/solidity-buildpack-deps@sha256:e2729bd6c0734bb49d04e2688fec3dcf880394f351f69358dd2bd92c0f6fd309].

@ekpyron ekpyron mentioned this pull request Mar 28, 2023
Merged
@leonardoalt
Copy link
Member Author

@ekpyron next one

ekpyron
ekpyron previously approved these changes Mar 29, 2023
View reviewed changes
@ekpyron
Copy link
Member

ekpyron commented Mar 29, 2023 •
edited

We should also probably flip this

      # Build without Z3. We won't be running SMT tests on Arch because that requires a specific
      # version of Z3 and the one with the official repos is often not the one we need.
      USE_Z3: OFF

to ON again in .circleci/config.yml and instead note in the comment that it can be switched off, if we can't keep up for some reason - that way we're autoreminded of this...

@leonardoalt
Copy link
Member Author

@ekpyron fixed the above. Merge?

@leonardoalt leonardoalt merged commit 416e6f6 into develop Apr 12, 2023
1 of 6 checks passed
@leonardoalt leonardoalt deleted the update_z3_docker branch April 12, 2023 15:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ekpyron ekpyron ekpyron approved these changes

Assignees

@leonardoalt leonardoalt

Labels
None yet
Projects
Solidity Focus Board
Archived in project
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@leonardoalt @ekpyron