{2023.06}[foss/2023a] Z3 4.12.2#502
Conversation
Via easybuilders/easybuild-easyconfigs#20050 , the different Z3 easyconfigs have been consolidated. This means the version used as a dependency for PyTorch has been "corrected" so we need to dance around that for our CI purposes
|
Instance
|
|
Alternative to #501 |
|
bot: build repo:eessi.io-2023.06-software arch:x86_64/generic |
Updates by the bot instance
|
|
New job on instance
|
|
New job on instance
|
|
New job on instance
|
|
New job on instance
|
|
New job on instance
|
|
New job on instance
|
|
New job on instance
|
|
New job on instance
|
| # The Z3 dependency of PyTorch had it's versionsuffix removed | ||
| # and we need to workaround the problem this creates, |
There was a problem hiding this comment.
| # The Z3 dependency of PyTorch had it's versionsuffix removed | |
| # and we need to workaround the problem this creates, | |
| # The Z3 dependency of PyTorch had its versionsuffix removed | |
| # and we need to work around the problem this creates, |
Via easybuilders/easybuild-easyconfigs#20050 , the different Z3 easyconfigs have been consolidated. This means the version used as a dependency for PyTorch has been "corrected" so we need to dance around that for our CI purposes