Silvan green-lit the change on GitHub so I went ahead and merged it. Thanks for the review! BTW: I tested the change with and without the LP solver secrets.

I had a look and left some comments.

I made a pull request at https://github.com/aibasel/downward/pull/38 . Silvan, can you have a look, please?

Makes sense to me. My understanding is that the actions run in their own VM. No need to use the repository name for disambiguation/providing a separate namespace then.

I would suggest to use /home/runner as the base path for everything. Then we can have the repository clone there, using a fixed name independent of the repo, and also a lib dir where we install the LP-related libraries.

The GitHub Actions run in the directory /home/runner/work/<reponame>. As one of the first steps, they clone the repo to /home/runner/work/<reponame>/<reponame>. Since the "Install dependencies" step calls "mkdir /home/runner/work/downward/lib", the step fails for all repos that are not called "downward".

When testing the fix for this issue, I think it would be good to test it both with and without the CPLEX and/or SoPlex secret set.