Skip to content

Fix Windows CI#598

Merged
Youw merged 1 commit intomasterfrom
fix-ci
Jul 3, 2023
Merged

Fix Windows CI#598
Youw merged 1 commit intomasterfrom
fix-ci

Conversation

@Youw
Copy link
Copy Markdown
Member

@Youw Youw commented Jul 3, 2023

refreshenv stopped working in PowerShell context

`refreshenv` stopped working in PowerShell context
@Youw Youw added the build system/CI Anything related to building the project or running on CI label Jul 3, 2023
@Youw Youw merged commit d0856c0 into master Jul 3, 2023
@Youw Youw deleted the fix-ci branch July 3, 2023 14:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

build system/CI Anything related to building the project or running on CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant