[PR #75] [MERGED] chore(deploy): exit build.sh when error occured #1425

New issue

Closed

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

kerem commented

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

Owner

📋 Pull Request Information

Original PR: https://github.com/dbeaver/cloudbeaver/pull/75
Author: @chikaku
Created: 6/9/2020
Status: ✅ Merged
Merged: 6/9/2020
Merged by: @serge-rider

Base: devel ← Head: devel

📝 Commits (1)

7acec88 chore(deploy): exit build.sh when error occured

📊 Changes

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

View changed files

📝 deploy/build.sh (+2 -0)

📄 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/75 **Author:** [@chikaku](https://github.com/chikaku) **Created:** 6/9/2020 **Status:** ✅ Merged **Merged:** 6/9/2020 **Merged by:** [@serge-rider](https://github.com/serge-rider) **Base:** `devel` ← **Head:** `devel` --- ### 📝 Commits (1) - [`7acec88`](https://github.com/dbeaver/cloudbeaver/commit/7acec888ddb229f0e4775c2dda6dd813bab7738c) chore(deploy): exit build.sh when error occured ### 📊 Changes **1 file changed** (+2 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `deploy/build.sh` (+2 -0) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>