[PR #9] [CLOSED] Feature/docker #15

New issue

Closed

opened 2026-10-26 21:06:40 +00:00 by bsakaguchi · 0 comments

bsakaguchi commented

2026-10-26 21:06:40 +00:00

Owner

📋 Pull Request Information

Original PR: https://github.com/deepseek-ai/DeepSeek-Prover-V1.5/pull/9
Author: @ondanaoto
Created: 10/8/2024
Status: ❌ Closed

Base: main ← Head: feature/docker

📝 Commits (2)

2e26a8c add docker env
6446320 docker env

📊 Changes

3 files changed (+41 additions, -2 deletions)

View changed files

➕ Dockerfile (+28 -0)
➕ docker-compose.yaml (+11 -0)
📝 requirements.txt (+2 -2)

📄 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/DeepSeek-Prover-V1.5/pull/9 **Author:** [@ondanaoto](https://github.com/ondanaoto) **Created:** 10/8/2024 **Status:** ❌ Closed **Base:** `main` ← **Head:** `feature/docker` --- ### 📝 Commits (2) - [`2e26a8c`](https://github.com/deepseek-ai/DeepSeek-Prover-V1.5/commit/2e26a8c8405994f766c10f55ccb396a0f19d30aa) add docker env - [`6446320`](https://github.com/deepseek-ai/DeepSeek-Prover-V1.5/commit/64463209a99769a7159a64cd8f2396bdfd3ed25d) docker env ### 📊 Changes **3 files changed** (+41 additions, -2 deletions) <details> <summary>View changed files</summary> ➕ `Dockerfile` (+28 -0) ➕ `docker-compose.yaml` (+11 -0) 📝 `requirements.txt` (+2 -2) </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 21:06:40 +00:00

closed this issue
added the
pull-request
label

No labels

pull-request

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

deepseek-ai/DeepSeek-Prover-V1.5#15

No description provided.

Rows
Columns