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

Add ProgressDeadlineSeconds #134

Closed

maruina wants to merge 1 commit into main from progressdeadline

Contributor

maruina commented Aug 6, 2021

Fix #63

maruina force-pushed the progressdeadline branch 3 times, most recently from 7b66e4e to cd8cf38 Compare

August 13, 2021 21:07


          Add ProgressDeadlineSeconds API

b6f217e

maruina force-pushed the progressdeadline branch from cd8cf38 to b6f217e Compare

August 14, 2021 09:44

maruina mentioned this pull request

New scheduler #143

Merged

Contributor Author

maruina commented Jan 9, 2022

Closing this. We will pick it up again if we really need this feature.

maruina closed this

maruina deleted the progressdeadline branch

May 24, 2022 12:59

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

Labels

None yet