Skip to content

Conversation

@soimkim
Copy link
Contributor

@soimkim soimkim commented Jan 5, 2022

Description

  • Print the extension to the output file of the result log

Type of change

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Documentation update
  • Refactoring, Maintenance
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)

@soimkim soimkim added the bug fix [PR] Fix the bug label Jan 5, 2022
@soimkim soimkim self-assigned this Jan 5, 2022
@soimkim soimkim requested a review from bjk7119 January 5, 2022 04:40
@soimkim soimkim merged commit a0fe9a7 into develop Jan 5, 2022
@soimkim soimkim deleted the dev2 branch January 5, 2022 04:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug fix [PR] Fix the bug

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants