Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more tight timeout (6:30 elapsed time, 10:00 cpu time on recent hardware);
Changeset 8464:5d71a2e03dca by wenzelm:
more tight timeout (6:30 elapsed time, 10:00 cpu time on recent hardware);
The file was modified thys/Flyspeck-Tame/ROOT (diff)