<div id="comment:0"></div> that currently prevents many patchbots to run smoothly CC: @rwst @frederichan-IMJPRG Component: **calculus** Author: **Frédéric Chapoton, Marcelo Forets** Branch/Commit: **[`e2d74c6`](https://github.com/sagemath/sagetrac-mirror/commit/e2d74c645b48c3288802f9080d6651aaccf658fb)** Reviewer: **Travis Scrimshaw, Steven Trogdon** _Issue created by migration from https://trac.sagemath.org/ticket/22833_