search

sagemath / sage-patchbot

Sage Patchbot
https://www.sagemath.org
Other
8 stars 17 forks source link

better startup time plugin #72

Closed videlec closed 9 years ago

videlec commented 9 years ago

Currently the startup time plugin switches back and forth between the development branch and the ticket branch. This might cause a lot of recompilation (especially if some low level Cython file is modified). We modify the plugin in order that it switches only twice.