The current Windows CI started to fail at some point because it is running within an environment in which symlinks don't work properly.
Having symlinks working on Windows Git Bash has some requirements:
Enable symlinks during git for windows installation, which is already met.
Be either running as an admin or having Windows developer mode turned on, which is also already met.
Use an environment variable to properly enable symlinks, which is being added with this PR.
Related issue(s)
None
:white_check_mark: Checklist for your Pull Request
Ideally a PR has all of the checkmarks set.
If something in this list is irrelevant to your PR, you should still set this
checkmark indicating that you are sure it is dealt with (be that by irrelevance).
Related changes (conditional)
Tests
[x] If I added new functionality, I added tests covering it.
[x] If I fixed a bug, I added a regression test to prevent the bug from
silently reappearing again.
Documentation
[x] I checked whether I should update the docs and did so if necessary:
Description
The current Windows CI started to fail at some point because it is running within an environment in which symlinks don't work properly.
Having symlinks working on Windows Git Bash has some requirements:
git for windows
installation, which is already met.Related issue(s)
None
:white_check_mark: Checklist for your Pull Request
Ideally a PR has all of the checkmarks set.
If something in this list is irrelevant to your PR, you should still set this checkmark indicating that you are sure it is dealt with (be that by irrelevance).
Related changes (conditional)
Tests
Documentation
Public contracts
Stylistic guide (mandatory)