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

Docker: Update Z3 and cvc5 versions in docker images #15551

Open
wants to merge 2 commits into
base: develop
Choose a base branch
from
Open

Docker: Update Z3 and cvc5 versions in docker images #15551

wants to merge 2 commits into from
+64 −55

Conversation

blishko
Copy link
Contributor

@blishko blishko commented Oct 29, 2024 •
edited
Loading

Flow of changes (updated from #13738)

  1. Open a PR (PR1) like this one bumping the dockerfile versions and updating the z3 version where applicable.
  2. When the new images are built, the bot will post the 4 new hashes here. In a different PR (PR2 is SMTChecker + CI: Update versions of solvers and test expectations #15558 here):
    • Update the docker hashes
    • Update the z3 version in .circleci/osx_install_dependencies.sh
    • Update the SMT tests
  3. Merge PR2
  4. Rebase PR1, merge PR1.
  5. Done

@blishko blishko force-pushed the ci-update-z3-docker-images branch 4 times, most recently from faf0f9c to 14c9a9f Compare October 29, 2024 13:40
@r0qs r0qs mentioned this pull request Oct 30, 2024
Closed
@blishko blishko force-pushed the ci-update-z3-docker-images branch 6 times, most recently from 2faaec1 to 4ce31f2 Compare October 31, 2024 07:50
@github-actions GitHub Actions
Copy link

solbuildpackpusher/solidity-buildpack-deps:emscripten-19 [solbuildpackpusher/solidity-buildpack-deps@sha256:170b159c82ce70e639500551394460f01798c18a5e17b45ea91277b0cf8eae37].

@github-actions GitHub Actions
Copy link

solbuildpackpusher/solidity-buildpack-deps:ubuntu2404.clang-3 [solbuildpackpusher/solidity-buildpack-deps@sha256:534c4eea1ba370a85cf3c106b4a30b43152ba4f695fab5e18577009a5e272146].

@github-actions GitHub Actions
Copy link

solbuildpackpusher/solidity-buildpack-deps:ubuntu2404-2 [solbuildpackpusher/solidity-buildpack-deps@sha256:92efa8581887e5389b29d3a150112a8433a04ebf5fddf2c65ed6794b4cdf1fe3].

@github-actions GitHub Actions
Copy link

solbuildpackpusher/solidity-buildpack-deps:ubuntu2004-26 [solbuildpackpusher/solidity-buildpack-deps@sha256:1f387a77be889f65a2a25986a5c5eccc88cec23fabe6aeaf351790751145c81e].

@ethereum ethereum deleted a comment from github-actions bot Oct 31, 2024
@ethereum ethereum deleted a comment from github-actions bot Oct 31, 2024
@ethereum ethereum deleted a comment from github-actions bot Oct 31, 2024
@ethereum ethereum deleted a comment from github-actions bot Oct 31, 2024
@ethereum ethereum deleted a comment from github-actions bot Oct 31, 2024
@ethereum ethereum deleted a comment from github-actions bot Oct 31, 2024
@ethereum ethereum deleted a comment from github-actions bot Oct 31, 2024
@ethereum ethereum deleted a comment from github-actions bot Oct 31, 2024
@ethereum ethereum deleted a comment from github-actions bot Oct 31, 2024
@ethereum ethereum deleted a comment from github-actions bot Oct 31, 2024
@ethereum ethereum deleted a comment from github-actions bot Oct 31, 2024
@ethereum ethereum deleted a comment from github-actions bot Oct 31, 2024
@ethereum ethereum deleted a comment from github-actions bot Oct 31, 2024
@ethereum ethereum deleted a comment from github-actions bot Oct 31, 2024
@ethereum ethereum deleted a comment from github-actions bot Oct 31, 2024
@ethereum ethereum deleted a comment from github-actions bot Oct 31, 2024
@ethereum ethereum deleted a comment from github-actions bot Oct 31, 2024
@ethereum ethereum deleted a comment from github-actions bot Oct 31, 2024
@blishko blishko mentioned this pull request Oct 31, 2024
Merged
@blishko blishko added the 🟡 PR review label label Nov 15, 2024
@github-actions GitHub Actions
Copy link

This pull request is stale because it has been open for 14 days with no activity.
It will be closed in 7 days unless the stale label is removed.

@github-actions github-actions bot added the stale The issue/PR was marked as stale because it has been open for too long. label Nov 29, 2024
@blishko blishko removed the stale The issue/PR was marked as stale because it has been open for too long. label Nov 29, 2024
matheusaaguiar
matheusaaguiar previously approved these changes Nov 29, 2024
View reviewed changes
@github-actions GitHub Actions
Copy link

github-actions bot commented Dec 2, 2024

solbuildpackpusher/solidity-buildpack-deps:emscripten-19 [solbuildpackpusher/solidity-buildpack-deps@sha256:97e21befe48b2741c2d48038be19b39da93955f278628866a4758d33f84d5877].

@github-actions GitHub Actions
Copy link

github-actions bot commented Dec 2, 2024

solbuildpackpusher/solidity-buildpack-deps:ubuntu2404-2 [solbuildpackpusher/solidity-buildpack-deps@sha256:da2d816eb2a0414466ebea8121bd633325e51e51a6e8dbd15ed235f142c3ef17].

@github-actions GitHub Actions
Copy link

github-actions bot commented Dec 2, 2024

solbuildpackpusher/solidity-buildpack-deps:ubuntu2404.clang-3 [solbuildpackpusher/solidity-buildpack-deps@sha256:a56b54a76956af61419170145751eb2555532a822eade8c69b08e729dd6631ed].

@github-actions GitHub Actions
Copy link

github-actions bot commented Dec 2, 2024

solbuildpackpusher/solidity-buildpack-deps:ubuntu2004-26 [solbuildpackpusher/solidity-buildpack-deps@sha256:d645d137b3d46e914ff82f7bdf1306eb76d1ad291ed60620b739b4a08376d34f].

@github-actions GitHub Actions
Copy link

github-actions bot commented Dec 2, 2024

solbuildpackpusher/solidity-buildpack-deps:emscripten-19 [solbuildpackpusher/solidity-buildpack-deps@sha256:8c7f0436b1dc492fd6b145e6f8f826742710820492a63964acc12af47af153ea].

@github-actions GitHub Actions
Copy link

github-actions bot commented Dec 2, 2024

solbuildpackpusher/solidity-buildpack-deps:ubuntu2004-26 [solbuildpackpusher/solidity-buildpack-deps@sha256:222041622f54af4b48b33cc69241694051a91df32007416e45ea4cd02deca5af].

@github-actions GitHub Actions
Copy link

github-actions bot commented Dec 2, 2024

solbuildpackpusher/solidity-buildpack-deps:ubuntu2404-2 [solbuildpackpusher/solidity-buildpack-deps@sha256:df76c13b4d5920bab47855a5e443684d5904275d8d0138c666e2cf5ed883b3d2].

@github-actions GitHub Actions
Copy link

github-actions bot commented Dec 2, 2024

solbuildpackpusher/solidity-buildpack-deps:ubuntu2404.clang-3 [solbuildpackpusher/solidity-buildpack-deps@sha256:d37fc8161e659d31ef5458fa1e07ca10d1d1c987d74748b429655f315a128db9].

@blishko blishko marked this pull request as ready for review December 2, 2024 20:05
@github-actions GitHub Actions
Copy link

github-actions bot commented Dec 2, 2024

solbuildpackpusher/solidity-buildpack-deps:emscripten-19 [solbuildpackpusher/solidity-buildpack-deps@sha256:b830dc4d82a604562245050be4530733311c05705d21a61ead1292cb23c62022].

@github-actions GitHub Actions
Copy link

github-actions bot commented Dec 2, 2024

solbuildpackpusher/solidity-buildpack-deps:ubuntu2404-2 [solbuildpackpusher/solidity-buildpack-deps@sha256:b98a4db54de59a2e8d31880dc0bb86a401b7374ca5dcf7cfe73ed3227ea7e8b7].

@github-actions GitHub Actions
Copy link

github-actions bot commented Dec 2, 2024

solbuildpackpusher/solidity-buildpack-deps:ubuntu2004-26 [solbuildpackpusher/solidity-buildpack-deps@sha256:9fc94e1dda1fef68c09cfd3c3f6068e139adc2558c90c0958ca76fc16f5fcbaa].

@github-actions GitHub Actions
Copy link

github-actions bot commented Dec 2, 2024

solbuildpackpusher/solidity-buildpack-deps:ubuntu2404.clang-3 [solbuildpackpusher/solidity-buildpack-deps@sha256:9cbd75fc16d557e42e4191f26c345a5ddcad8f4e5f73194eff6a2abd050d46c8].

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ekpyron ekpyron ekpyron left review comments

@matheusaaguiar matheusaaguiar matheusaaguiar left review comments

At least 1 approving review is required to merge this pull request.

Assignees
No one assigned
Labels
🟡 PR review label
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@blishko @ekpyron @matheusaaguiar