[PR #80] [CLOSED] docs: build with docker (#78). #282

New issue

Closed

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

bsakaguchi commented

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

Owner

📋 Pull Request Information

Original PR: https://github.com/deepseek-ai/3FS/pull/80
Author: @Wine93
Created: 3/4/2025
Status: ❌ Closed

Base: main ← Head: docs/build

📝 Commits (1)

a122f0f docs: build with docker (#78).

📊 Changes

3 files changed (+132 additions, -1 deletions)

View changed files

📝 README.md (+4 -1)
➕ docs/build_with_docker.md (+74 -0)
➕ scripts/playground.sh (+54 -0)

📄 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/80 **Author:** [@Wine93](https://github.com/Wine93) **Created:** 3/4/2025 **Status:** ❌ Closed **Base:** `main` ← **Head:** `docs/build` --- ### 📝 Commits (1) - [`a122f0f`](https://github.com/deepseek-ai/3FS/commit/a122f0f990ef2a626fb7dd36e07d4b42a1f08020) docs: build with docker (#78). ### 📊 Changes **3 files changed** (+132 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `README.md` (+4 -1) ➕ `docs/build_with_docker.md` (+74 -0) ➕ `scripts/playground.sh` (+54 -0) </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:14 +00:00