Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

将 Web 服务器功能移至可选 feature #137

Merged
merged 1 commit into from
Feb 17, 2024
Merged

Conversation

hguandl
Copy link
Collaborator

@hguandl hguandl commented Feb 16, 2024

REST API 服务(大概)不算是应用的核心功能,Lib 和 Python 那边其实没有用到。将其改为可选的 feature 能精简掉一些依赖,提高项目构建速度。

@hguandl hguandl requested a review from ForgQi February 16, 2024 16:43
@hguandl hguandl added this pull request to the merge queue Feb 17, 2024
Merged via the queue into master with commit fdc2e9e Feb 17, 2024
26 checks passed
@hguandl hguandl deleted the optional-server branch February 17, 2024 12:03
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.

None yet

1 participant