[PR #1342] [MERGED] chore: update build scripts #2427

New issue

Closed

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

kerem commented

2026-03-07 21:08:54 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/dbeaver/cloudbeaver/pull/1342
Author: @Wroud
Created: 12/5/2022
Status: ✅ Merged
Merged: 12/5/2022
Merged by: @Wroud

Base: devel ← Head: build/update-build-scripts

📝 Commits (1)

955ebf8 chore: update build scripts

📊 Changes

2 files changed (+4 additions, -4 deletions)

View changed files

📝 deploy/build.bat (+2 -2)
📝 deploy/build.sh (+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/dbeaver/cloudbeaver/pull/1342 **Author:** [@Wroud](https://github.com/Wroud) **Created:** 12/5/2022 **Status:** ✅ Merged **Merged:** 12/5/2022 **Merged by:** [@Wroud](https://github.com/Wroud) **Base:** `devel` ← **Head:** `build/update-build-scripts` --- ### 📝 Commits (1) - [`955ebf8`](https://github.com/dbeaver/cloudbeaver/commit/955ebf83b464781624246430a11044707bdd82de) chore: update build scripts ### 📊 Changes **2 files changed** (+4 additions, -4 deletions) <details> <summary>View changed files</summary> 📝 `deploy/build.bat` (+2 -2) 📝 `deploy/build.sh` (+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>