Skip to content
New issue

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

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

Already on GitHub? # to your account

Space bug fix #253

Merged
merged 8 commits into from
Jul 26, 2023
Merged

Space bug fix #253

merged 8 commits into from
Jul 26, 2023

Conversation

sepandhaghighi
Copy link
Owner

Reference Issues/PRs

#241 #248 #249

What does this implement/fix? Explain your changes.

  • space parameter bug fixed

Any other comments?

@codecov
Copy link

codecov bot commented Jul 26, 2023

Codecov Report

Merging #253 (8fb21fa) into dev (7073f02) will increase coverage by 0.01%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##              dev     #253      +/-   ##
==========================================
+ Coverage   99.84%   99.84%   +0.01%     
==========================================
  Files           7        7              
  Lines        1181     1184       +3     
  Branches       80       81       +1     
==========================================
+ Hits         1179     1182       +3     
  Misses          1        1              
  Partials        1        1              
Files Changed Coverage Δ
art/art.py 99.29% <100.00%> (+0.01%) ⬆️

@sepandhaghighi sepandhaghighi marked this pull request as ready for review July 26, 2023 11:25
@sadrasabouri sadrasabouri merged commit 3fb5e51 into dev Jul 26, 2023
@sadrasabouri sadrasabouri deleted the space_bug_fix branch July 26, 2023 12:57
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants