[PR #11] [MERGED] 添加docker发包 #126

New issue

Closed

opened 2026-02-28 00:38:48 +03:00 by kerem · 0 comments

kerem commented

2026-02-28 00:38:48 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/team-ide/teamide/pull/11
Author: @team-ide
Created: 12/12/2021
Status: ✅ Merged
Merged: 12/12/2021
Merged by: @team-ide

Base: main ← Head: dev

📝 Commits (1)

036ef44 添加docker发包

📊 Changes

3 files changed (+31 additions, -12 deletions)

View changed files

📝 .github/workflows/ci.yml (+12 -11)
➕ Dockerfile (+18 -0)
📝 package.json (+1 -1)

📄 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/team-ide/teamide/pull/11 **Author:** [@team-ide](https://github.com/team-ide) **Created:** 12/12/2021 **Status:** ✅ Merged **Merged:** 12/12/2021 **Merged by:** [@team-ide](https://github.com/team-ide) **Base:** `main` ← **Head:** `dev` --- ### 📝 Commits (1) - [`036ef44`](https://github.com/team-ide/teamide/commit/036ef44fdfe7041998fc3564dca5b4b25fc21362) 添加docker发包 ### 📊 Changes **3 files changed** (+31 additions, -12 deletions) <details> <summary>View changed files</summary> 📝 `.github/workflows/ci.yml` (+12 -11) ➕ `Dockerfile` (+18 -0) 📝 `package.json` (+1 -1) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

kerem

2026-02-28 00:38:48 +03: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

starred/teamide-team-ide#126

No description provided.

Rows
Columns