Skip to content

Don't report errors while updating already deleted launch configs#2815

Merged
iloveeclipse merged 1 commit into
eclipse-platform:masterfrom
iloveeclipse:issue_2814
Jul 14, 2026
Merged

Don't report errors while updating already deleted launch configs#2815
iloveeclipse merged 1 commit into
eclipse-platform:masterfrom
iloveeclipse:issue_2814

Conversation

@iloveeclipse

Copy link
Copy Markdown
Member

Fixes #2814

@github-actions

github-actions Bot commented Jul 14, 2026

Copy link
Copy Markdown
Contributor

Test Results

    54 files  ±0      54 suites  ±0   58m 44s ⏱️ - 2m 32s
 4 687 tests ±0   4 665 ✅ ±0   22 💤 ±0  0 ❌ ±0 
11 955 runs  ±0  11 802 ✅ ±0  153 💤 ±0  0 ❌ ±0 

Results for commit bb5fa1c. ± Comparison against base commit 5c2af78.

♻️ This comment has been updated with latest results.

@iloveeclipse iloveeclipse merged commit acbe07b into eclipse-platform:master Jul 14, 2026
18 checks passed
@iloveeclipse iloveeclipse deleted the issue_2814 branch July 14, 2026 09:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Error while trying to persist deleted launch config

1 participant