Skip to content
This repository has been archived by the owner on Oct 19, 2023. It is now read-only.

fix: workspace path update #140

Merged
merged 1 commit into from
Aug 22, 2023
Merged

fix: workspace path update #140

merged 1 commit into from
Aug 22, 2023

Conversation

zac-li
Copy link
Member

@zac-li zac-li commented Aug 22, 2023

No description provided.

@zac-li zac-li marked this pull request as ready for review August 22, 2023 04:10
@zac-li
Copy link
Member Author

zac-li commented Aug 22, 2023

Will fix the CI later.

@zac-li zac-li merged commit 2362bdc into main Aug 22, 2023
6 of 9 checks passed
@zac-li zac-li deleted the fix-workspace branch August 22, 2023 10:10
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants