See also issue843 and issue897.

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.

Referenced issue843 in the summary.

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.