[PR #1] [MERGED] Deploy scripts update #1379

New issue

Closed

opened 2026-03-07 21:03:44 +03:00 by kerem · 0 comments

kerem commented

2026-03-07 21:03:44 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/dbeaver/cloudbeaver/pull/1
Author: @serge-rider
Created: 4/16/2020
Status: ✅ Merged
Merged: 4/16/2020
Merged by: @serge-rider

Base: devel ← Head: master

📝 Commits (1)

473abcd Deploy scripts update

📊 Changes

2 files changed (+13 additions, -17 deletions)

View changed files

📝 deploy/build.bat (+5 -9)
📝 deploy/build.sh (+8 -8)

📄 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/dbeaver/cloudbeaver/pull/1 **Author:** [@serge-rider](https://github.com/serge-rider) **Created:** 4/16/2020 **Status:** ✅ Merged **Merged:** 4/16/2020 **Merged by:** [@serge-rider](https://github.com/serge-rider) **Base:** `devel` ← **Head:** `master` --- ### 📝 Commits (1) - [`473abcd`](https://github.com/dbeaver/cloudbeaver/commit/473abcd7cf2b21284a24655973bb9a5f45293a39) Deploy scripts update ### 📊 Changes **2 files changed** (+13 additions, -17 deletions) <details> <summary>View changed files</summary> 📝 `deploy/build.bat` (+5 -9) 📝 `deploy/build.sh` (+8 -8) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>