Skip to content

[Compile Server] Update deps for compilation server#365

Merged
yaoyaoding merged 1 commit intohidet-org:mainfrom
xinli-git:fix_deps
Oct 16, 2023
Merged

[Compile Server] Update deps for compilation server#365
yaoyaoding merged 1 commit intohidet-org:mainfrom
xinli-git:fix_deps

Conversation

@xinli-git
Copy link
Copy Markdown
Contributor

There is a dependency lacking in the requirements.txt of the compilation server, causing it to fail at import. Adding it back here.

@xinli-git xinli-git changed the title [Compilation Server] Update deps for compilation server [Compile Server] Update deps for compilation server Oct 11, 2023
@yaoyaoding
Copy link
Copy Markdown
Member

Thanks @xinli-git !

@yaoyaoding yaoyaoding merged commit 003cd00 into hidet-org:main Oct 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants