Skip to content

Fix: Rename error identifier#943

Merged
localheinz merged 1 commit intomainfrom
fix/error-identifier
Jun 2, 2025
Merged

Fix: Rename error identifier#943
localheinz merged 1 commit intomainfrom
fix/error-identifier

Conversation

@localheinz
Copy link
Member

This pull request

  • renames an error identifier

Follows #939.

@localheinz localheinz self-assigned this Jun 2, 2025
@localheinz localheinz requested a review from ergebnis-bot as a code owner June 2, 2025 13:24
@localheinz localheinz force-pushed the fix/error-identifier branch from 4bc571b to bcd5db2 Compare June 2, 2025 13:24
@localheinz localheinz merged commit 3cdd4d1 into main Jun 2, 2025
23 checks passed
@localheinz localheinz deleted the fix/error-identifier branch June 2, 2025 13:25
@codecov
Copy link

codecov bot commented Jun 2, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 98.35%. Comparing base (65aa2ec) to head (bcd5db2).
Report is 2 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff            @@
##               main     #943   +/-   ##
=========================================
  Coverage     98.35%   98.35%           
  Complexity      304      304           
=========================================
  Files            37       37           
  Lines          1278     1278           
=========================================
  Hits           1257     1257           
  Misses           21       21           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants