|
Boost : |
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.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk