[PR #67] [MERGED] Add development Docker image #277

New issue

Closed

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

bsakaguchi commented

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

Owner

📋 Pull Request Information

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

Base: main ← Head: main

📝 Commits (1)

9685239 add dev docker

📊 Changes

2 files changed (+90 additions, -0 deletions)

View changed files

➕ .github/workflows/build-dev-docker-image.yml (+52 -0)
➕ dockerfile/dev.dockerfile (+38 -0)

📄 Description

This pull request introduces a development Docker image to simplify the setup for local development. The image includes all necessary dependencies, providing a consistent and convenient development environment. Refer to: github.com/deepseek-ai/3FS@799b9a5d2f/.github/workflows/build.yml (L24).

_{🔄 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/67 **Author:** [@Clcanny](https://github.com/Clcanny) **Created:** 3/3/2025 **Status:** ✅ Merged **Merged:** 3/4/2025 **Merged by:** [@SF-Zhou](https://github.com/SF-Zhou) **Base:** `main` ← **Head:** `main` --- ### 📝 Commits (1) - [`9685239`](https://github.com/deepseek-ai/3FS/commit/9685239720cf3e450787872cdf9c1f20861afba1) add dev docker ### 📊 Changes **2 files changed** (+90 additions, -0 deletions) <details> <summary>View changed files</summary> ➕ `.github/workflows/build-dev-docker-image.yml` (+52 -0) ➕ `dockerfile/dev.dockerfile` (+38 -0) </details> ### 📄 Description This pull request introduces a development Docker image to simplify the setup for local development. The image includes all necessary dependencies, providing a consistent and convenient development environment. Refer to: https://github.com/deepseek-ai/3FS/blob/799b9a5d2f714c9d11c1599c8015a0224b7560cb/.github/workflows/build.yml#L24. --- <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:11 +00:00