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

add support for offset in ProgressUnknown #217

Merged
merged 5 commits into from Aug 29, 2023

Conversation

MarcMush
Copy link
Collaborator

#115 and #113 happened nearly at the same time, so the offset keyword wasn't implemented for ProgressUnknown

this is a ctrl+c ctrl+v of what happens for the other so hopefully it works correctly

cancel(p::ProgressUnknown) also didn't work because of that (I added testcases for cancel on all 3 types)

Copy link
Owner

@timholy timholy left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I fixed a merge conflict; if tests pass, merge when ready @MarcMush

 into offsetUnknown

# Conflicts:
#	src/ProgressMeter.jl

Signed-off-by: MarcMush <marc.ittel@gmail.com>
@MarcMush
Copy link
Collaborator Author

remerged because of non-passing tests, ready to merge if it passes now

@codecov
Copy link

codecov bot commented Aug 29, 2023

Codecov Report

Patch coverage: 100.00% and project coverage change: +0.04% 🎉

Comparison is base (e213f2b) 96.56% compared to head (ad6537c) 96.61%.

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #217      +/-   ##
==========================================
+ Coverage   96.56%   96.61%   +0.04%     
==========================================
  Files           1        1              
  Lines         524      531       +7     
==========================================
+ Hits          506      513       +7     
  Misses         18       18              
Files Changed Coverage Δ
src/ProgressMeter.jl 96.61% <100.00%> (+0.04%) ⬆️

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

@MarcMush MarcMush merged commit 9b178b6 into timholy:master Aug 29, 2023
14 checks passed
@timholy
Copy link
Owner

timholy commented Aug 29, 2023

Thanks!

@MarcMush MarcMush deleted the offsetUnknown branch January 25, 2024 23:20
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.

None yet

2 participants