Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
*: Add support for MAX_EXECUTION_TIME (#10541) (#10963) #11026
MAX_EXECUTION_TIME is a newly introduced feature. If we don't cherry pick the first PR, there is no need to cherry-pick the bug fix, so it's better for them to be together.