Closed TheEimer closed 1 month ago
The problem here is now FastDownward which cannot be built/run on GitHub anymore for the current FD version required by the env.