save execution time on futures inside runners
Now async def functions can be learned. This was previously documented as working, but has been broken since we started timing the execution of the learned function by wrapping it.
Due to a scheduled major TU Delft data center maintenance, this server will be unavailable in the period 10–17 December 2026. We apologize for disruptions; please plan accordingly.
Now async def functions can be learned. This was previously documented as working, but has been broken since we started timing the execution of the learned function by wrapping it.