Issue972

Title Find a way to run Gurobi during Github actions
Priority feature Status chatting
Superseder Nosy List florian, jendrik, malte, patfer, silvan
Assigned To Keywords infrastructure
Optional summary
blocker for issue940

TODO:
* issue926: test the performance of Gurobi
* decide whether to keep support for Gurobi
* contact Gurobi
* Look at the licences of Gurobi
* Look into self-hosted runners as an option

Created on 2020-07-01.11:53:46 by florian, last changed by florian.

Summary
blocker for issue940

TODO:
* issue926: test the performance of Gurobi
* decide whether to keep support for Gurobi
* contact Gurobi
* Look at the licences of Gurobi
* Look into self-hosted runners as an option
Messages
msg9582 (view) Author: florian Date: 2020-07-10.14:56:59
There already is issue926 for that. I added a link in the summary.
msg9581 (view) Author: malte Date: 2020-07-10.14:54:19
We decided to first check if we are interested in keeping support for Gurobi at all. For this, we would like to do a CPLEX vs. Gurobi comparison on a reasonable set of planner configurations.

This should perhaps be a separate issue, and this one would depend on the new one.
msg9421 (view) Author: malte Date: 2020-07-02.19:20:05
correction: issue971
msg9418 (view) Author: patfer Date: 2020-07-02.18:28:14
About self-hosted runners: look at issue972
History
Date User Action Args
2020-07-10 14:56:59floriansetmessages: + msg9582
summary: blocker for issue940 TODO: * contact Gurobi * Look at the licences of Gurobi * Look into self-hosted runners as an option -> blocker for issue940 TODO: * issue926: test the performance of Gurobi * decide whether to keep support for Gurobi * contact Gurobi * Look at the licences of Gurobi * Look into self-hosted runners as an option
2020-07-10 14:54:19maltesetmessages: + msg9581
2020-07-02 19:20:05maltesetmessages: + msg9421
2020-07-02 18:28:14patfersetstatus: unread -> chatting
nosy: + patfer
messages: + msg9418
2020-07-02 17:22:08floriansetpriority: meta -> feature
keyword: + infrastructure
summary: TODO: * contact Gurobi * Look at the licences of Gurobi * Look into self-hosted runners as an option -> blocker for issue940 TODO: * contact Gurobi * Look at the licences of Gurobi * Look into self-hosted runners as an option
2020-07-02 16:53:16silvansetnosy: + silvan
2020-07-01 11:53:46floriancreate