New Upstream Release - mathlibtools
No unpublished successful runs for mathlibtools.
Historical runs
- nothing-to-do: Last upstream version 1.3.2 already imported.
- nothing-new-to-do: Last upstream version 1.3.2 already imported.
- success: Merged new upstream version 1.3.2
- push-failed: Failed to push result branch: Connection closed: Connection closed early The remote server unexpectedly closed the connection.
- worker-timeout: No keepalives received in 1:00:41.133818.
- success: Merged new upstream version 1.3.1