Issue1101

Title Update release templates and scripts
Priority feature Status resolved
Superseder Nosy List florian, jendrik, malte, silvan
Assigned To Keywords
Optional summary
PR: https://github.com/aibasel/downward/pull/167

Created on 2023-07-31.10:11:45 by florian, last changed by florian.

Summary
PR: https://github.com/aibasel/downward/pull/167
Messages
msg11244 (view) Author: florian Date: 2023-07-31.15:28:07
Merged, thanks.
msg11243 (view) Author: malte Date: 2023-07-31.15:24:46
Great, please merge.
msg11242 (view) Author: florian Date: 2023-07-31.13:53:24
I created a pull request for the change.
msg11241 (view) Author: florian Date: 2023-07-31.13:41:03
The build in the vagrant template failed for several reasons. One issue was that it still used Ubuntu 18.04 as a base image (I upgraded it to 22.04).

The other problem was that the VM only had 1GB of RAM by default. We previously did not want to modify the default because this setting is provider-specific and we did not want to make an assumption about which one is used. Now that we directly link against SoPlex, one step in the compilation required more than 1GB, though and we had to increase the setting. We only set this option for virtualbox which should cover most users. We will add more provider-specific settings if we hear about other use cases.
msg11240 (view) Author: florian Date: 2023-07-31.10:11:45
Now that issue1076 is merged, we have to update our release workflow, templates, and scripts to get a release with the correct LP solvers.
History
Date User Action Args
2023-07-31 15:28:07floriansetstatus: chatting -> resolved
messages: + msg11244
2023-07-31 15:24:46maltesetmessages: + msg11243
2023-07-31 13:53:24floriansetmessages: + msg11242
summary: PR: https://github.com/aibasel/downward/pull/167
2023-07-31 13:41:03floriansetstatus: unread -> chatting
messages: + msg11241
2023-07-31 10:11:45floriancreate