豆豆友情提示:这是一个非官方 GitHub 代理镜像,主要用于网络测试或访问加速。请勿在此进行登录、注册或处理任何敏感信息。进行这些操作请务必访问官方网站 github.com。 Raw 内容也通过此代理提供。
Skip to content

chore: use a name for job#379

Merged
Lightning00Blade merged 1 commit intomainfrom
fix-name
Oct 14, 2025
Merged

chore: use a name for job#379
Lightning00Blade merged 1 commit intomainfrom
fix-name

Conversation

@Lightning00Blade
Copy link
Copy Markdown
Collaborator

No description provided.

@Lightning00Blade Lightning00Blade merged commit 0c54d93 into main Oct 14, 2025
17 checks passed
@Lightning00Blade Lightning00Blade deleted the fix-name branch October 14, 2025 10:54
AlinaVarkki pushed a commit that referenced this pull request Oct 15, 2025
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.

2 participants