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.

Sign up for GitHub

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

Jump to bottom

Fix piping issue #835

Merged
merged 7 commits into from
Jun 13, 2024
Merged

Fix piping issue #835

merged 7 commits into from
Jun 13, 2024

Conversation

narekhovhannisyan
Copy link
Member

Types of changes

  • Enhancement (project structure, spelling, grammar, formatting)
  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to change)
  • My code follows the code style of this project.
  • My change requires a change to the documentation.
  • I have updated the documentation accordingly.
  • I have added tests to cover my changes.
  • All new and existing tests passed.

A description of the changes proposed in the Pull Request

  • Fixes piping unhandled error issue.

@narekhovhannisyan narekhovhannisyan self-assigned this Jun 13, 2024
@narekhovhannisyan narekhovhannisyan added the bug Error, flaw or fault label Jun 13, 2024
@narekhovhannisyan narekhovhannisyan linked an issue Jun 13, 2024 that may be closed by this pull request
[IF-diff] Unhandled exception is thrown when -d flag is used (when ie output is piped to if-diff ) #832
Closed
@narekhovhannisyan narekhovhannisyan merged commit 9aa1302 into release Jun 13, 2024
2 checks passed
@narekhovhannisyan narekhovhannisyan deleted the fix-piping-issue branch June 13, 2024 15:07
@github-actions github-actions bot mentioned this pull request Jun 13, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@MariamKhalatova MariamKhalatova MariamKhalatova approved these changes

@manushak manushak manushak approved these changes

@jmcook1186 jmcook1186 Awaiting requested review from jmcook1186

Assignees

@narekhovhannisyan narekhovhannisyan

Labels
bug Error, flaw or fault
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

[IF-diff] Unhandled exception is thrown when -d flag is used (when ie output is piped to if-diff )
3 participants
@narekhovhannisyan @manushak @MariamKhalatova