My current patchy understanding of patchy is that patchy-merge runs make and
make test, and if these are OK then it pushes staging to master. AFAICS
from the code, it requires quick_make=True to do a doc build and regtest
comparison, and this is false for the normal run.
It's the job of
Phil Holmes em...@philholmes.net writes:
My current patchy understanding of patchy is that patchy-merge runs
make and make test,
And make doc.
and if these are OK then it pushes staging to master. AFAICS from the
code, it requires quick_make=True to do a doc build and regtest
comparison,