From: Andrey Semashev (andrey.semashev_at_[hidden])
Date: 2019-07-28 11:54:01
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.