28 Jul
2019
28 Jul
'19
1:54 p.m.
On 7/28/19 11:27 AM, Paul A Bristow via Boost wrote:
Because we have a massive Continuous Integration system with many compilers and platform that picks up changes to source files, *any* change to source, test or documentation files is like to trigger a massive recompilation and rebuild and retest and redocumentation.
I don't think we build docs during our CI jobs, do we?
That will cause a load of machine time (already insufficient)..
If you want a commit to not trigger a CI job, you can add "[ci skip]" to the commit title line. Unfortunately, in case of PRs, that is on the submitter's concience.