Closed sebastianas closed 2 months ago
The code change looks good to me. The GitHub builds all passed as well. I would not have been surprised it caused some issue on Windows... but it seems happy enough. I would like to rebase it to add Jenkins CI changes to work with changes to our CI infra and see it pass there. But I'm optimistic it'll pass just fine.
Thank you for the PR @sebastianas
Add a dependency on that version map so that it is re-run once it changes.
This has been missed in the initial pull request.