Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

editor: fixes issue #3395 #3555

Merged
merged 1 commit into from
Mar 15, 2023
Merged

editor: fixes issue #3395 #3555

merged 1 commit into from
Mar 15, 2023

Conversation

jacomyal
Copy link
Contributor

No description provided.

@jacomyal jacomyal requested a review from a team as a code owner March 15, 2023 13:57
@codecov
Copy link

codecov bot commented Mar 15, 2023

Codecov Report

Merging #3555 (c4e45ba) into dev (320dcc3) will increase coverage by 0.00%.
The diff coverage is n/a.

❗ Current head c4e45ba differs from pull request most recent head c456b55. Consider uploading reports for the commit c456b55 to get more accurate results

@@            Coverage Diff            @@
##                dev    #3555   +/-   ##
=========================================
  Coverage     68.23%   68.23%           
  Complexity     1896     1896           
=========================================
  Files           413      413           
  Lines         20526    20533    +7     
  Branches       1519     1519           
=========================================
+ Hits          14005    14010    +5     
- Misses         5820     5822    +2     
  Partials        701      701           
Flag Coverage Δ
front 56.20% <ø> (-0.01%) ⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

see 5 files with indirect coverage changes

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

sim51
sim51 previously approved these changes Mar 15, 2023
@sim51 sim51 enabled auto-merge (rebase) March 15, 2023 15:13
@sim51 sim51 merged commit b873cf1 into dev Mar 15, 2023
@sim51 sim51 deleted the ajy/issue-3395 branch March 15, 2023 15:58
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.

2 participants