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

Region downloading #1165

Merged
merged 13 commits into from
Sep 9, 2024
Merged

Region downloading #1165

merged 13 commits into from
Sep 9, 2024

Conversation

rowleya
Copy link
Member

@rowleya rowleya commented Jul 30, 2024 •
edited
Loading

Add the ability to download regions that are not recording regions.

Needed by:

@rowleya rowleya requested a review from Christian-B July 30, 2024 08:03
@coveralls
Copy link

coveralls commented Jul 30, 2024 •
edited
Loading

Coverage Status

coverage: 36.913% (-0.01%) from 36.926%
when pulling ec1d680 on region_downloading
into 4d8a3be on master.

This was referenced Aug 1, 2024
Merged
Merged
@Christian-B Christian-B added this pull request to the merge queue Sep 9, 2024
Merged via the queue into master with commit 0143c79 Sep 9, 2024
9 checks passed
@Christian-B Christian-B deleted the region_downloading branch October 1, 2024 10:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Christian-B Christian-B Awaiting requested review from Christian-B

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@rowleya @coveralls @Christian-B