Back to developer page.
Github Actions
TODO: add information on Github actions here
- explain what we currently test (link to the to-be-created issue that is about figuring out rules on what versions of compilers and other tools we require/support)
explain that we run CPLEX and SoPlex and that this is allowed (link to Fast Downward issues)
- explain what would needed to be done to replace the buildbot (link to the to-be-created issue)