Workaround for #446 after windows-2022 runner image updates
#462
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR gets CI going again after a GitHub
windows-2022runner image update that upgrade GNU tools, including an update from GDB 11.2 to 16.2. This resurfaced issues from #446 which had been suppressed for the time being by pinning runner towindows-2022.It introduces the following changes:
windows-latest. Pinning no longer helps with the workaround.windows-2022before (11.2).GITHUB_PATH. Which ensures it's present onPATHfor following steps of that job.Downgrading to GDB 10.2 for Windows testing isn't great. But quickest way to get CI going again.
Picking up #446 next as it's root causes become more and more a problem for our CI on Windows.