[PR #1543] [MERGED] feat(build): add no-dev option #1760

New issue

Closed

opened 2026-02-26 03:32:13 +03:00 by kerem · 0 comments

kerem commented

2026-02-26 03:32:13 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/koel/koel/pull/1543
Author: @JBlond
Created: 10/22/2022
Status: ✅ Merged
Merged: 10/23/2022
Merged by: @phanan

Base: master ← Head: master

📝 Commits (1)

56215cc Add no-dev option

📊 Changes

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

View changed files

📝 .github/workflows/release.yml (+1 -1)

📄 Description

Resolve https://github.com/koel/koel/issues/1535 to reduce the release package size

_{🔄 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/koel/koel/pull/1543 **Author:** [@JBlond](https://github.com/JBlond) **Created:** 10/22/2022 **Status:** ✅ Merged **Merged:** 10/23/2022 **Merged by:** [@phanan](https://github.com/phanan) **Base:** `master` ← **Head:** `master` --- ### 📝 Commits (1) - [`56215cc`](https://github.com/koel/koel/commit/56215cc13acbddb887ecdf0d5da166a85bfebf2b) Add no-dev option ### 📊 Changes **1 file changed** (+1 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `.github/workflows/release.yml` (+1 -1) </details> ### 📄 Description Resolve https://github.com/koel/koel/issues/1535 to reduce the release package size --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

kerem

2026-02-26 03:32:13 +03:00

closed this issue
added the
pull-request
label

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/koel-koel#1760

No description provided.

Rows
Columns