fix location of lock file in mujoco-py v2.1.2.14#14965
fix location of lock file in mujoco-py v2.1.2.14#14965boegel merged 1 commit intoeasybuilders:developfrom
Conversation
|
@boegelbot: please test @ generoso |
|
@lexming: Request for testing this PR well received on login1 PR test command '
Test results coming soon (I hope)... Details- notification for comment with ID 1033212112 processed Message to humans: this is just bookkeeping information for me, |
|
Test report by @boegelbot |
|
Test report by @lexming |
|
@lexming is it possible to add a |
|
@migueldiascosta the issue in #14779 (comment) was triggered by just running |
fair enough :) |
|
Test report by @boegel |
|
Going in, thanks @lexming! |
(created using
eb --new-pr)