-
Notifications
You must be signed in to change notification settings - Fork 66
{2023.06}[2023a,grace] Z3 v4.12.2 #1045
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
{2023.06}[2023a,grace] Z3 v4.12.2 #1045
Conversation
|
Instance
|
|
Instance
|
|
Instance
|
|
Instance
|
|
Instance
|
|
Instance
|
|
bot: build inst:rt-Grace-jr arch:aarch64/nvidia/grace repo:eessi.io-2023.06-software |
Updates by the bot instance
|
Updates by the bot instance
|
Updates by the bot instance
|
Updates by the bot instance
|
Updates by the bot instance
|
Updates by the bot instance
|
|
Label |
|
New job on instance
|
|
@TopRichard In what sense is this Z3 outdated? Was it updated in a more recent version of EasyBuild? |
Clarification added |
Thanks! Just to clear: for the other CPU targets, Z3 was never rebuilt to pick up the changes made in easybuilders/easybuild-easyconfigs#20050? Should we open an issue to do that when the time is right? |
|
Label |
|
Label |
|
Label |
|
Label |
It was done in: #502 |
|
Label |
|
Label |
|
Label |
|
Label |
|
@TopRichard Hmm: |
|
Label |
1 similar comment
|
Label |
|
Label |
1 similar comment
|
Label |
|
Label |
|
Label |
|
Label |
|
Label |
|
staging PR merged, so merging this PR too |
|
PR merged! Moved |
1 similar comment
|
PR merged! Moved |
|
PR merged! Moved |
|
PR merged! Moved |
This is an outdated version of the Z3-4.12.2-GCCcore-12.3.0 easyconfig, before unifying Z3 4.12.2 easyconfigs into a single one with Python bindings in https://github.com/easybuilders/easybuild-easyconfigs/pull/20050/files , adding it to keep sync with the other stacks