Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more generous timeout, e.g. relevant for threads=1;
Changeset 7934:2df586d11ad4 by wenzelm:
more generous timeout, e.g. relevant for threads=1;
The file was modified thys/Case_Labeling/ROOT (diff)
The file was modified thys/Chord_Segments/ROOT (diff)
The file was modified thys/Complx/ROOT (diff)
The file was modified thys/Constructor_Funs/ROOT (diff)
The file was modified thys/Echelon_Form/ROOT (diff)
The file was modified thys/EdmondsKarp_Maxflow/ROOT (diff)
The file was modified thys/Fisher_Yates/ROOT (diff)
The file was modified thys/Group-Ring-Module/ROOT (diff)
The file was modified thys/Jordan_Normal_Form/ROOT (diff)
The file was modified thys/Lazy_Case/ROOT (diff)
The file was modified thys/Monad_Normalisation/ROOT (diff)
The file was modified thys/Monomorphic_Monad/ROOT (diff)
The file was modified thys/Network_Security_Policy_Verification/ROOT (diff)
The file was modified thys/Ordinary_Differential_Equations/ROOT (diff)
The file was modified thys/Paraconsistency/ROOT (diff)
The file was modified thys/Perron_Frobenius/ROOT (diff)
The file was modified thys/Refine_Imperative_HOL/ROOT (diff)
The file was modified thys/Routing/ROOT (diff)
The file was modified thys/SPARCv8/ROOT (diff)
The file was modified thys/Source_Coding_Theorem/ROOT (diff)
The file was modified thys/Types_Tableaus_and_Goedels_God/ROOT (diff)
The file was modified thys/Word_Lib/ROOT (diff)