Issue888

Title Decide which tests should run on the buildbot
Priority wish Status resolved
Superseder Nosy List cedric, florian, jendrik, malte, silvan
Assigned To Keywords infrastructure
Optional summary
See also issue843 and issue897.

Created on 2019-01-18.13:25:25 by florian, last changed by malte.

Summary
See also issue843 and issue897.
Messages
msg11230 (view) Author: malte Date: 2023-07-28.11:25:23
This is outdated. Suggestions to what the Github actions run can be made at any time of course, but this specific issue no longer applies.
msg8470 (view) Author: florian Date: 2019-01-18.13:26:12
Referenced issue843 in the summary.
msg8469 (view) Author: florian Date: 2019-01-18.13:25:25
Currently, the buildbot runs these tests:
http://www.fast-downward.org/ForDevelopers/BuildBot

This is not necessarily a great selection. As just one example, we build the
planner before running a weekly test which internally builds the planner again.
We thus should think about what we actually want to test on what system.
History
Date User Action Args
2023-07-28 11:25:23maltesetstatus: chatting -> resolved
messages: + msg11230
2019-03-01 16:38:37jendriksetsummary: See also issue843. -> See also issue843 and issue897.
2019-01-18 14:18:38silvansetnosy: + silvan
2019-01-18 13:37:22cedricsetnosy: + cedric
2019-01-18 13:26:12floriansetmessages: + msg8470
summary: See also issue843.
2019-01-18 13:25:25floriancreate