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

Lazy TaskInfo #608

Merged

ungarj merged 3 commits into main from lazy_taskinfo

Dec 12, 2023

Owner

ungarj commented Dec 12, 2023

No description provided.

ungarj added 2 commits

December 12, 2023 09:56


          create LazyTaskInfo which only calls future.result() if necessary

81d03d7


          try not to keep futures hanging around when executing dask task graph

e2b17c4

coveralls commented Dec 12, 2023 •

edited

Loading

coverage: 100.0%. remained the same
when pulling 3c03b63 on lazy_taskinfo
into 25358da on main.


          add tests for pretty

3c03b63

ungarj merged commit e861dd5 into main

6 checks passed

ungarj mentioned this pull request

pass on tile counts to executor creation function #606

Closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet