![[Jenkins]](/jenkins/static/858a1f95/images/svgs/logo.svg){kind=logo}
Summary
- more generous timeout, e.g. relevant for threads=1;
| The file was modified | thys/Algebraic_VCs/ROOT (diff) |
| The file was modified | thys/Buildings/ROOT (diff) |
| The file was modified | thys/Containers/ROOT (diff) |
| The file was modified | thys/Formula_Derivatives/ROOT (diff) |
| The file was modified | thys/HRB-Slicing/ROOT (diff) |
| The file was modified | thys/IP_Addresses/ROOT (diff) |
| The file was modified | thys/Incompleteness/ROOT (diff) |
| The file was modified | thys/MonoidalCategory/ROOT (diff) |
| The file was modified | thys/Perron_Frobenius/ROOT (diff) |
| The file was modified | thys/Psi_Calculi/ROOT (diff) |
| The file was modified | thys/QR_Decomposition/ROOT (diff) |
| The file was modified | thys/Refine_Imperative_HOL/ROOT (diff) |