[PR #208] [MERGED] fix dockerfile build failed #328

New issue

Closed

opened 2026-10-26 09:48:44 +00:00 by bsakaguchi · 0 comments

bsakaguchi commented

2026-10-26 09:48:44 +00:00

Owner

📋 Pull Request Information

Original PR: https://github.com/deepseek-ai/3FS/pull/208
Author: @Hansyangxingxiang
Created: 3/25/2025
Status: ✅ Merged
Merged: 3/25/2025
Merged by: @SF-Zhou

Base: main ← Head: Branch_fix_dev_dockerfile

📝 Commits (1)

9122a11 fix_dockerfile build failed

📊 Changes

1 file changed (+13 additions, -13 deletions)

View changed files

📝 dockerfile/dev.dockerfile (+13 -13)

📄 Description

No description provided

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/deepseek-ai/3FS/pull/208 **Author:** [@Hansyangxingxiang](https://github.com/Hansyangxingxiang) **Created:** 3/25/2025 **Status:** ✅ Merged **Merged:** 3/25/2025 **Merged by:** [@SF-Zhou](https://github.com/SF-Zhou) **Base:** `main` ← **Head:** `Branch_fix_dev_dockerfile` --- ### 📝 Commits (1) - [`9122a11`](https://github.com/deepseek-ai/3FS/commit/9122a11ac50161e26fa64c8b04faf03a4e80310c) fix_dockerfile build failed ### 📊 Changes **1 file changed** (+13 additions, -13 deletions) <details> <summary>View changed files</summary> 📝 `dockerfile/dev.dockerfile` (+13 -13) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

bsakaguchi

2026-10-26 09:48:44 +00:00